fixed wrong checks in the operands verifications.