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