Second Generation Completeness Analysis of Formal Assertions on Compatibility of RISC-V Cores