• sequence : ruba
• type_stack_operation : ruba
• type_synchronization : ruba