More local predicates for DataFlowAnalysisTest