Include guards in if branches
Correct abstract format for string literals
Pretty printer for results