labeled graphs should be agnostic of "True" semantics
labeled graphs should be agnostic of "True" semantics

if you want to find an edge whose label contains True, then do that explicitly in the relevant automata code (automata contain semantics, not raw labeled graphs).
tulip-control/tulip-control,necozay/tulip-control,necozay/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,tulip-control/tulip-control,necozay/tulip-control,tulip-control/tulip-control