Lab — predicate graph

Experimental predicate-first graph inspection.