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