toBreach

public String toBreach(Formula formula)