new|Alpha
import|controls1|D1
mount|data1|controls1
activity|sink_left|Receive left
activity|sink_right|Receive right
instantiate|left|controls1|data1|sink_left
instantiate|right|controls1|data1|sink_right
budget|budget|left/P|right/P|controls1
consumer|outside|left/E|data1
global_case|global|left/P
receipt|create-two-instances