fixes #3: fixes #11: detect underspecified TryStatements