Rename `this_prog` to `thisProg`

`thisProg` feels more idiomatic in Go and makes this variable name
consistent with the others.