def METHOD_NAME(ckt_data, primitive_library):
    at = Annotate(ckt_data, primitive_library)
    at.annotate()
    for ckt in ckt_data:
        if isinstance(ckt, SubCircuit):
            assert ckt.pins, f"floating module found {ckt.name}"
            assert len(ckt.pins) == len(
                set(ckt.pins)
            ), f"duplicate pins found in module {ckt.name}, {ckt.pins}"
            for ele in ckt.elements:
                if isinstance(ckt_data.find(ele.model), SubCircuit):
                    assert len(ele.pins) == len(ckt_data.find(ele.model).pins), "incorrect subckt instantiation"