Altered some values to be able to use more Predicates without repeating
Constraints
Merge branch 'benchmark' into optimizations-backreferences