fixed the bug where InferExp ELtEq forwards to EPlus, instead it now forwards to EAss