Add the CHECK_IS_ACYCLIC function to check zpc post-construction property. * tests/bin/test.py: Here.