These vacuous passes are sometimes pain and does not seem to serve real purpose. For instance, once I swapped clock/reset connections in formal verification setup and all properties magically passed. After seeing property coverage only we got to know that nothing actually got covered. Beware of vacuous misreadings!