keepinvariantout
if (keepinvariantout(g)) /* must keep invariant? */
if (!keepinvariantout(g)) /* not keeping invariant? */