Shut up the clang static analyzer 'scan-build'

Make evaluateBoolExpr's first loop shallower by using continue
Allow empty body loops. Fix error message.