Remove unused function
Add a test covering the scenario where a state has both an enter and exit prereq