Implemented automatic clif file generation and execution for nontrivial
consistency
nontrivial consistency task added
configuration files updated