Fixed acyclicity clause and changed order of goals in srs clause in Prismify.hs. In the srs clause, msw was called before reduce, but we can prune more if we call reduce first.
Bug fixed in Prismify.hs: missing period at end of srs clause.