Let the center of a predicate statement be the keyword

[keyboardDrummer]

What was changed?

Let the center of a predicate statement be the keyword ('assert/'assume'/'expect') instead of the center of the condition, so it gets a different position than a precondition failure of the outermost node of the condition. Example:

assert P(x)
        ^ previous center of error "assertion might not hold"
        ^ center of error "function precondition could not be proved" 
^ new center of error "assertion might not hold"

How has this been tested?

Updated existing tests

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.