Module equiv_precise_assertions not found.