Build LHS==RHS expr manually instead of using getInstMapping