Constructors without associated mnemonic:
All_clauses_guarded