[pf] Clarify what is checked when Beweiser is called from the GUI
[pf] Clarify what is checked when Beweiser is called from the GUI

Beweiser tries to prove program specifications and not programs.

team-worthwhile/worthwhile,team-worthwhile/worthwhile