I have to implement the rule, that if A occurs, B hast to occur next without any event in between. Usually I could do this by just using the patter:
A->(B