run models/testseq.als

FIX: small bug in InvocationInlineVisitor
