also, is there anything that uses the leveled_predicate on build_graph outside of intransitive detection?