Added index restriction on predicates and the corresponding syntax method with a check