class_specif ::= "class" class_name ( atom_class_def | tuple_class_def )
This rule is called by -> m5_specification
-> m5_specification