Removed erroneous comments, implementation of RequiresPrevious predicate (no test yet)