fun String.toPositiveOut(): Transition
Create a Formula.Transition proposition with positive direction and incoming flow.