This post-condition verifies that custom functions are not used.
This post-condition verifies that no accidental empty traversals are generated.
This post-condition verifies that multiple labels are not used.
This post-condition verifies that multiple labels are not used. Such translation will not work in environments without multiple label support.
This post-condition verifies that custom functions are not used. Such translation will not work in environments without the Cypher plugin.