if (!isInterestingType(name))
return null;
Pair<Bool, DI> initializer = computeInitialValue(initializerOrNull, input);
Variable variable = EvaluationUtils.tryGetVariable(name);
if (variable == null)
throw new DomainException("Error: '%s'", variable);
if (asAssignment && initializerOrNull != null)
return expressionSemantics.processBooleanAssignment(initializer.right, name, initializer.left);
else
return processNewVariable(initializer.right, variable, initializer.left, asAssignment);
}