elaborate_instances, method elaboration
elaborate_instances, canonical constraints