Drop the print | parse trick; stategraph has been improved to deal with the output of quantifier one point rewriting