tests from Stratego/XT