handle user-provided predicates in [Smt]

also
- added two tests based on one method in ArrayList
- bugfix in [Symexec.gsc_group]: didn't terminate for empty confgraphs
- prefixed builtin_bla with ! to follow same convention as user-predicates