Then clauses print an error message in case of failure
fixed compilation error in getStmtLocationRangeTest.should_throw_an_exception_for_unknown_statement