f:Coverage insurer: maximum cardinality of 'insurer' is 0