Updated the DSL and added the implies method + tests.