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