stratego/sdf verbalize verbalize.str