Implemented automatic clif file generation and execution for nontrivial
consistency