nario updates, graphplan still works but fails on cyclical implication