sepa transition and apply in asterix