add locals space to inner variable
add Double type and add with double, cast
add full double
Stack size warning heuristic and while block locals update