Avoid the calculation of identical data several times

window height/width, element height/width
Make code simpler
Add watch area for Boogie