simplifying this so we can get somewhere. only invariant operands are being checked now