initializing IfdefToIf only after options have been processed
fixes a bug where IfdefToIf used sat featureexpressions although -bdd was configured.