Add predicate functions, rename
Test alt
Test conc
Test succeed
Test opt
Patch opt for transform correctness
Clean up conc imp'l
Test rep*
Test rep* transform
Test rep+
Clean up rep+
Clean up rep*
rep* empty case covered seperately