Remove Unnecessary Guards and Formulas #13

Merged

sp merged 4 commits from remove_unnecessary_guards into main 2 years ago

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