private JMethod currentMethod;
// @Override
public void endVisit(JBinaryOperation x, Context ctx) {
if (x.isAssignment()) {
JType lhsType = x.getLhs().getType();
JExpression newRhs = checkAndReplaceJso(x.getRhs(), lhsType);
if (newRhs == x.getRhs()) {
// There's another case to check: if we have an array store that may
// trigger a type check, we need to wrap the rhs.
if (x.getLhs() instanceof JArrayRef) {