Or-precedence test
Implies-precedence test added