test case to debug : in predicates, only recurse on left child for the first step,