I tried to enclose all tests which must be run at the toplevel
(instead of inside a method) in exec statements.