added prettyprint to assertion eval print

changed checkingmode "-c para" to use all set ups and init combinations