refactor sketch: now we can access rules to parse predicates

refactor sketch: now we can access rules to parse predicates #2480