Perform quality control on all statements

[LucaFue]

To ensure consistency and quality in the existing set of all statements, a quality control is done, focusing on:

• Correct spelling of the statements, especially of those already existing/those that were created a longer time ago
• Unify the indentation levels of evidences and references of all statements
• Improve the grammatical formulation and readability of existing statements

Changes like behavior -> behaviour or analyzed -> analyzed have been made for consistency between US and UK english. We will stick to UK english, since TSF is developed by a british company and therefore UK english has already been used in e.g. the formulation of the TAs and TTs.

[Erikhu1]

this is somewhat dangerous. Please refrain from search and replace in files that are directly from nlohmann/json.

[LucaFue]

fixed

[coveralls]

coverage: 99.186%. remained the same
when pulling ebfd1de on LucaFgr-Perform_quality_control_on_all_statements
into df946d2 on main.