Implement semantics for InstanceRequirement / Tunnel / With #43
Description
The structure visitor needs to be modified to account for these constructs - currently, gap junctions are not supported due to paths containing peer, which is undefined due to this issues