Avoid removing necessary VL definitions that appear after calls

- VL may be changed within functions, and thus VL defs can't be reused
across calls.
- Should fix #39.