+ prev.toStringOneLine());
} else if (null == afterType) {
throw new TypeCheckException("Cannot resolve type for expression: "
+ after.toStringOneLine());
} else if (!prevType.isNumeric()) {
throw new TypeCheckException("Expression " + prev.toStringOneLine()
+ " should have numeric type.");
} else if (!afterType.isNumeric()) {
throw new TypeCheckException("Expression " + after.toStringOneLine()
+ " should have numeric type.");
} else if (!prev.isConstant()) {