Lines Matching refs:SPEC_PROC_TAG
830 contractions->currentTag = SPEC_PROC_TAG;910 CE = constructContractCE(SPEC_PROC_TAG, firstContractionOffset);