Added implies function and a couple test cases for it.
isolate the implies tests from the inheritance one