Adding printers for new statements
Fix in annotations.
Adding some flags