even better coverage in precedence.py