Remove Unnecessary Guards and Formulas #13

Merged

sp merged 4 commits from remove_unnecessary_guards into main 12 months ago

Author	SHA1	Message	Date
sp	46b4d5f9f3	adapted call to PrismModulesPrinter	12 months ago
sp	76d4295f73	removed printing of unnecessary formulas	12 months ago
sp	92d7d11daa	switched most tabs to two whitespaces in output	12 months ago
sp	34a399972d	print certain movement guards only when necessary	12 months ago