added tests for testframework, fixed some bugs in BitwiseOperands and NotEqualTo Operand