FOReverSE-AFMSynthesis-Evaluation Evaluation of the synthesis algorithm for attributed feature models