Implement anonymous (doc) annotations and assertions
Fix stupid imports bug

The formatted code was still right, but it spammed exception stacktraces.
Fix output file parsing

One-part output file paths (i. e., the file is in the current working
directory) weren’t parsed correctly before.