+ // jjenista 1/17/2012
+ //
+ // this does not work to disable predicates, in fact the whole
+ // interprocedural context mapping system is built on predicates
+ // because edges and nodes that get renamed in the callee context
+ // have to be spliced back into the caller context, and the
+ // elements that cross the boundry are fused by matching
+ // predicates of callee elements to caller elements.
+ //
+ //if( DISABLE_PREDICATES ) {
+ // return ReachGraph.predsTrue;
+ //}
+