when first command is interpret-to-point, vscoq doesn't always get that far

Sometimes when the first command run in a buffer is interpret-to-point far enough down into the buffer, vscoq will run the first few commands, then stop short of that point.

For example, visiting wavl-noauto.v, place the point at line 189, and do interpret-to-point (Ctl-Alt-right).  Interpretation will only get to line 53.

This is in vscoq 0.2.5
