use featuremodel in control-flow analysis