UntilFormula

public void UntilFormula(Formula firstArgument, Formula secondArgument)