sig val is_ac : ID.t -> bool val is_comm : ID.t -> bool end