Bring negated heap into EvalContext