- Increased precision of error locators, using Pos parameter in goal
  expansion, for ctchecks.

- Added test for ctcheck.