[[pi |- E E: theta]] =
([[pi |- E: theta theta]])
([[pi |- E: theta]])
[[pi |- E E: theta]] =
([[pi |- E: tau theta]])
([[pi |- E: tauexp]] )
[[tauexp]] = Store [[tau]]
[[int]] = Int
[[bool]] = Bool
[[theta theta]] =
(proper [[theta]]
[[theta]])
[[{:theta}]] =
({ :proper
[[ theta ]]})
[[intloc]] = Location
[[store]] = Store
proper = { bottom}