Definition of Instance struct.
Finished limit extending patterns only via shared variable nodes not const nodes.