hack for Term#substituteAndEvaluate