cvs-version patched ocllib

The cvs-version now contains a some patched classes from ocllib
allowing size(),.. to be called as features on collection-classes.
The following constraint for example is now working:
@Constraint("post: assertedMethod.getBody().statements().size>assertedMethod@pre.getBody().statements().size")

Also checks on return-values work again.