ISP Test taken from <http://www.cs.utah.edu/formal_verification/ISP_Tests/>.