Improve description of errors in the OCL checker

[jcabot]

This OCL constraint is missing the "if" -> context Department inv:self.size>5 then self.boss.salary>2000 else true'

But instead of giving an error message related to this (saying something missing "if" or whatever) I get the following message -> Error: pop from empty list

(see the model example in issue #198 )