fix precedence

Happy interprets precedence from low to high, while the nusmv manual states it from high to low.