}
@Override
public Value caseABinaryExp(ABinaryExp node) throws Throwable
{
Value left = node.getLeft().apply(this);
Value right = node.getRight().apply(this);
if (left.getClass() != right.getClass())
{
return new BooleanValue(false);
}
switch (node.getOperator().kindPBinop())