Evaluation of the synthesis algorithm for attributed feature models