# redundant transitions
frei0r.composition

# unusable transitions
frei0r.alphainjection