Class InstNode
back
position: p
position <- p