Implement a sound/incomplete acyclic mode #7

When doing the state matching (case-2), crawl ahead to see if it creates a cycle. If so, forbid it. Perhaps a context will be required so that matching on the policy is only allowed if it doesn't create a cycle in the solution graph.