Implies(left: Formula, right: Formula)
Logical implication. A state satisfies this formula if it does not satisfy left or if it satisfies both left and right.