added possibility to specify initial CEGAR predicates