Added special folds and non-backtracking variants of predicates