Implemented Material Implication and enabled test cases