resolveDefined

FeatureExprHelper

resolveToExternal

SATFeatureExpr