Sorry if I'm wrong but shouldn't `isAtLeastOneLocalPrimaryIsNotCovered` be `isAtLeastOneLocalPrimaryKeyNotCovered` (without the second `is`, and with `Key`)?