Dealing with skill description & implementation missmatch

[matthias-mayr]

In a compound skill, it is possible to not have the the skill description and the explicitly set skill implementation to match. iirc, the chosen skill implementation is executed, but the post-conditions of the skill description are checked.

I think that this should result in an error. Otherwise it can be hard to track down.