Also store (and report) line positions in ExecContext