DSL update: change of method name #T to #TT, #A to AT, as in YPetri