return;
}
if (var instanceof JParameter || var instanceof JLocal) {
if (expression != null) {
JValueLiteral valueLiteral =
ExpressionEvaluator.evaluate(expression, assumption.unwrap());
if (valueLiteral != null &&
(valueLiteral.getType() == var.getType() ||
valueLiteral instanceof JNullLiteral)) {
assumption.set(var, valueLiteral);
} else {
// Don't bother to try to get conversions right.
assumption.set(var, null);