Define different output forms for different target audiences

[enzoevers]

Some users might want to see the whole transaction flow of a problem while others only want to see if the contract is safe.

First, it needs to be defined what target readers there are and what they want. After that, we can create separate issues for creating the individual generator.