FileInterface.insertAfter to insert a new function after an existing one. Distinct cases when adding examples. QuestionBuilder possibility to keep empty alternatives. Added excluded tag if VerificationReport when rendering expressions. Better web problem for grammars.
FileInterface.insertAfter to insert a new function after an existing one.
Distinct cases when adding examples.
QuestionBuilder possibility to keep empty alternatives.
Added excluded tag if VerificationReport when rendering expressions.
Better web problem for grammars.

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless