Fixed a issue where unused abstract clafer's were given cardinality '<=0', change this to '=0'