def p_gate_op_5(self, program):
program[<NUM_LIT:0>] = node.Barrier([program[<NUM_LIT:2>]])<EOL>self.verify_bit_list(program[<NUM_LIT:2>])<EOL>self.verify_distinct([program[<NUM_LIT:2>]])<EOL>
gate_op : BARRIER id_list ';'