Fixed handling of statements in EXECUTE() clause, to allow usage as seen in check_thii2_2hiit_out.~ATH canonically.