

#include "BUILTIN.h"
extern OBJ _AImpExpEntry_6(OBJ);extern OBJ __AImpExpEntry_6;
extern OBJ _AImpExpEntry_10(OBJ);extern OBJ __AImpExpEntry_10;
extern OBJ _AImpExpEntry_11(OBJ);extern OBJ __AImpExpEntry_11;
extern OBJ _AImpExpEntry_91(OBJ);extern OBJ __AImpExpEntry_91;
extern OBJ _AImpExpEntry_92(OBJ);extern OBJ __AImpExpEntry_92;
extern OBJ _AImpExpEntry_93(OBJ);extern OBJ __AImpExpEntry_93;
extern OBJ _AImpExpEntry_128(OBJ);extern OBJ __AImpExpEntry_128;
extern OBJ _AAttributes_4(OBJ);extern OBJ __AAttributes_4;
extern OBJ _AAttributes_5(OBJ);extern OBJ __AAttributes_5;
extern OBJ _AAttributes_6(OBJ);extern OBJ __AAttributes_6;
extern OBJ _AAttributes_17(OBJ);extern OBJ __AAttributes_17;
extern OBJ _AAttributes_18(OBJ);extern OBJ __AAttributes_18;
extern OBJ _AAttributes_19(OBJ);extern OBJ __AAttributes_19;
extern OBJ __AAttributes_25;
extern OBJ __AAttributes_28;
extern OBJ __AAttributes_29;
extern OBJ __AAttributes_30;
extern OBJ _AGlobSig_46(OBJ);extern OBJ __AGlobSig_46;
extern OBJ _AGlobSig_51(OBJ);extern OBJ __AGlobSig_51;
extern OBJ _AGlobSig_52(OBJ);extern OBJ __AGlobSig_52;
extern OBJ _AGlobSig_55(OBJ);extern OBJ __AGlobSig_55;
extern OBJ _AGlobSig_56(OBJ);extern OBJ __AGlobSig_56;
extern OBJ _AGlobSig_58(OBJ);extern OBJ __AGlobSig_58;
extern OBJ _AGlobSig_80(OBJ,OBJ);extern OBJ __AGlobSig_80;
extern OBJ _AGlobSig_86(OBJ,OBJ);extern OBJ __AGlobSig_86;
extern OBJ _AGlobSig_89(OBJ,OBJ);extern OBJ __AGlobSig_89;
extern OBJ _ADArray_15(OBJ,OBJ,OBJ);extern OBJ __ADArray_15;
extern OBJ _ADArray_20(OBJ,OBJ);extern OBJ __ADArray_20;
extern OBJ _ADArray_21(OBJ,OBJ);extern OBJ __ADArray_21;
extern OBJ __ANatMap_3;
extern OBJ _ANatMap_4(OBJ,OBJ,OBJ);extern OBJ __ANatMap_4;
extern OBJ _ANatMap_14(OBJ,OBJ);extern OBJ __ANatMap_14;
extern OBJ _ANatMap_17(OBJ,OBJ);extern OBJ __ANatMap_17;
extern OBJ _AName_11(OBJ);extern OBJ __AName_11;
extern OBJ _AName_12(OBJ);extern OBJ __AName_12;
extern OBJ __AName_26;
extern OBJ _AName_28(OBJ);extern OBJ __AName_28;
extern OBJ _AName_31(OBJ,OBJ);extern OBJ __AName_31;
extern OBJ _AName_32(OBJ,OBJ);extern OBJ __AName_32;
extern OBJ _AName_34(OBJ);extern OBJ __AName_34;

#include "Array.h"
extern OBJ __AGlobSigImpl_22;
extern OBJ __AObjects_29;
extern OBJ __AObjects_30;
extern OBJ _AAbsyFun2_6(OBJ,OBJ,OBJ);extern OBJ __AAbsyFun2_6;
extern OBJ _AAbsyFun2_8(OBJ,OBJ);extern OBJ __AAbsyFun2_8;
extern TUP2 _AAbsyFun3_4(OBJ,OBJ,OBJ);extern OBJ __AAbsyFun3_4;
extern TUP2 _APair_8(OBJ);extern OBJ __APair_8;
extern OBJ _AAnalyzedGlobSigH_1(OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_1;
extern OBJ _AAnalyzedGlobSigH_2(OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_2;
extern OBJ _AAnalyzedGlobSigH_3(OBJ);extern OBJ __AAnalyzedGlobSigH_3;
extern OBJ _AAnalyzedGlobSigH_5(OBJ,OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_5;
extern TUP2 _AAnalyzedGlobSigH_6(OBJ,OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_6;
extern OBJ _AAnalyzedGlobSigH_7(OBJ,OBJ,OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_7;
extern OBJ _AAnalyzedGlobSigH_8(OBJ,OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_8;
extern OBJ _AAnalyzedGlobSigH_9(OBJ,OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_9;
extern OBJ _AAnalyzedGlobSigH_10(OBJ,OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_10;
extern OBJ _AAnalyzedGlobSigH_11(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_11;
extern OBJ _AAnalyzedGlobSigH_12(OBJ,OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_12;
extern OBJ _AAnalyzedGlobSigH_13(OBJ,OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_13;
extern OBJ _AAnalyzedGlobSigH_14(OBJ,OBJ,OBJ,OBJ);extern OBJ __AAnalyzedGlobSigH_14;
extern OBJ _AMap_16(OBJ,OBJ,OBJ);extern OBJ __AMap_16;
extern OBJ _AMap_20(OBJ,OBJ,OBJ);extern OBJ __AMap_20;
extern OBJ _AMap_31(OBJ,OBJ,OBJ,OBJ);extern OBJ __AMap_31;
extern OBJ _AMap_33(OBJ,OBJ,OBJ);extern OBJ __AMap_33;
extern OBJ _ADEBUG_2(OBJ,OBJ,OBJ);extern OBJ __ADEBUG_2;
extern OBJ _ADEBUG_10(OBJ);extern OBJ __ADEBUG_10;

#include "Nat.h"
extern OBJ _ADecl4SigAna_11(OBJ,OBJ);extern OBJ __ADecl4SigAna_11;

#include "Denotation.h"
extern OBJ _ARep_24(OBJ,OBJ);extern OBJ __ARep_24;
extern OBJ _ARep_27(OBJ,OBJ);extern OBJ __ARep_27;
extern OBJ __ARep_96;
extern OBJ __ARep_101;
extern OBJ _AGlobSig4SigAna_25(OBJ,OBJ,OBJ,OBJ);extern OBJ __AGlobSig4SigAna_25;
extern OBJ _AGlobSig4SigAna_26(OBJ,OBJ,OBJ,OBJ);extern OBJ __AGlobSig4SigAna_26;
extern OBJ _AGlobSig4SigAna_27(OBJ,OBJ,OBJ,OBJ);extern OBJ __AGlobSig4SigAna_27;
extern OBJ __AFct_17;
extern OBJ _AGlobSigToText_1(OBJ,OBJ);extern OBJ __AGlobSigToText_1;
extern OBJ __AOption_5;
extern TUP2 _AImpDecl4SigAna_19(OBJ,OBJ,OBJ);extern OBJ __AImpDecl4SigAna_19;
extern OBJ _AImpDecl4SigAna_22(OBJ,OBJ,OBJ);extern OBJ __AImpDecl4SigAna_22;
extern OBJ _AImpDecl4SigAna_30(OBJ,OBJ,OBJ);extern OBJ __AImpDecl4SigAna_30;
extern OBJ _AImpDecl4SigAna_31(OBJ,OBJ,OBJ);extern OBJ __AImpDecl4SigAna_31;
extern OBJ _AImpDecl4SigAna_50(OBJ,OBJ);extern OBJ __AImpDecl4SigAna_50;
extern OBJ _AImpDecl4SigAna_57(OBJ,OBJ);extern OBJ __AImpDecl4SigAna_57;
extern OBJ __AMySeqFun1_2;
extern OBJ __AMySeqFun1_4;
extern OBJ __AMySeqFun1_6;
extern OBJ __AMySeqFun1_8;
extern OBJ _AMySeqFun1_12(OBJ,OBJ);extern OBJ __AMySeqFun1_12;
extern OBJ _AMySeqFun1_13(OBJ,OBJ);extern OBJ __AMySeqFun1_13;
extern OBJ _AMySeqFun1_19(OBJ,OBJ);extern OBJ __AMySeqFun1_19;
extern OBJ _AMySeqFun1_38(OBJ,OBJ,OBJ,OBJ);extern OBJ __AMySeqFun1_38;
extern OBJ __ASeq_6;
extern OBJ _ASeq_26(OBJ,OBJ);extern OBJ __ASeq_26;
extern OBJ _ASeq_40(OBJ,OBJ);extern OBJ __ASeq_40;
extern OBJ _ASeq_52(OBJ,OBJ);extern OBJ __ASeq_52;
extern TUP2 _AMySeqFun3_5(OBJ,OBJ,OBJ);extern OBJ __AMySeqFun3_5;
extern OBJ _AName4SigAna_4(OBJ,OBJ);extern OBJ __AName4SigAna_4;
extern OBJ _AName4SigAna_14(OBJ,OBJ);extern OBJ __AName4SigAna_14;
extern OBJ _AName4SigAna_15(OBJ,OBJ);extern OBJ __AName4SigAna_15;
extern OBJ _AName4SigAna_21(OBJ,OBJ);extern OBJ __AName4SigAna_21;
extern OBJ _AName4SigAna_22(OBJ,OBJ);extern OBJ __AName4SigAna_22;
extern OBJ _AName4SigAna_25(OBJ,OBJ);extern OBJ __AName4SigAna_25;
extern OBJ _AName4SigAna_59(OBJ,OBJ);extern OBJ __AName4SigAna_59;
extern OBJ _APoly4SigAna_3(OBJ,OBJ,OBJ,OBJ);extern OBJ __APoly4SigAna_3;

#include "Char.h"
extern OBJ _ASeqConv_3(OBJ,OBJ,OBJ,OBJ,OBJ);extern OBJ __ASeqConv_3;
extern OBJ __ASeqConv_8;
extern OBJ _ASeqFilter_2(OBJ,OBJ);extern OBJ __ASeqFilter_2;
extern TUP2 _ASeqFilter_5(OBJ,OBJ);extern OBJ __ASeqFilter_5;
extern OBJ _ASeqMap_3(OBJ,OBJ);extern OBJ __ASeqMap_3;
extern TUP2 _ASeqMapEnv_4(OBJ,OBJ,OBJ);extern OBJ __ASeqMapEnv_4;
extern OBJ _ASeqOfSeq_2(OBJ);extern OBJ __ASeqOfSeq_2;

#include "Int.h"
extern OBJ _ASeqReduce_3(OBJ,OBJ,OBJ);extern OBJ __ASeqReduce_3;
extern OBJ _ASeqReduce_7(OBJ,OBJ,OBJ);extern OBJ __ASeqReduce_7;

#include "Bitset.h"
extern OBJ _ADeclEntry_11(OBJ);extern OBJ __ADeclEntry_11;
extern OBJ _ADeclEntry_12(OBJ);extern OBJ __ADeclEntry_12;
extern OBJ _ADeclEntry_13(OBJ);extern OBJ __ADeclEntry_13;
extern OBJ _ADeclEntry_14(OBJ);extern OBJ __ADeclEntry_14;
extern OBJ _AAnalyzedGlobSig_1(OBJ);OBJ __AAnalyzedGlobSig_1; /* global? */
extern OBJ _AAnalyzedGlobSig_2(OBJ,OBJ);OBJ __AAnalyzedGlobSig_2; /* rep */
extern OBJ _AAnalyzedGlobSig_3(OBJ,OBJ);OBJ __AAnalyzedGlobSig_3; /* origIde */
extern OBJ _AAnalyzedGlobSig_4(OBJ,OBJ);OBJ __AAnalyzedGlobSig_4; /* origInst */
extern OBJ _AAnalyzedGlobSig_5(OBJ,OBJ);OBJ __AAnalyzedGlobSig_5; /* sort? */
extern OBJ _AAnalyzedGlobSig_6(OBJ,OBJ);OBJ __AAnalyzedGlobSig_6; /* op? */
extern OBJ _AAnalyzedGlobSig_7(OBJ,OBJ);OBJ __AAnalyzedGlobSig_7; /* fct */
extern OBJ _AAnalyzedGlobSig_8(OBJ,OBJ);OBJ __AAnalyzedGlobSig_8; /* origIdeNo */
extern OBJ _AAnalyzedGlobSig_9(OBJ,OBJ);OBJ __AAnalyzedGlobSig_9; /* no */
extern OBJ _AAnalyzedGlobSig_10(OBJ);OBJ __AAnalyzedGlobSig_10; /* globalSet? */
extern OBJ _AAnalyzedGlobSig_11(OBJ);OBJ __AAnalyzedGlobSig_11; /* internal? */
extern OBJ _AAnalyzedGlobSig_12(OBJ);OBJ __AAnalyzedGlobSig_12; /* external? */
extern OBJ _AAnalyzedGlobSig_13(OBJ);OBJ __AAnalyzedGlobSig_13; /* origInst,1 */
extern OBJ _AAnalyzedGlobSig_14(OBJ,OBJ);OBJ __AAnalyzedGlobSig_14; /* replInst */
extern TUP2 _AAnalyzedGlobSig_15(OBJ,OBJ);OBJ __AAnalyzedGlobSig_15; /* single */
extern TUP2 _AAnalyzedGlobSig_16(OBJ,OBJ);OBJ __AAnalyzedGlobSig_16; /* single,1 */
extern OBJ _AAnalyzedGlobSig_17(OBJ,OBJ);OBJ __AAnalyzedGlobSig_17; /* eqBase */
extern OBJ _AAnalyzedGlobSig_18(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_18; /* eqName */
extern OBJ _AAnalyzedGlobSig_19(OBJ,OBJ);OBJ __AAnalyzedGlobSig_19; /* ltName */
OBJ __AAnalyzedGlobSig_21; /* complete */
OBJ __AAnalyzedGlobSig_22; /* minimal */
OBJ __AAnalyzedGlobSig_23; /* standard */
extern OBJ _AAnalyzedGlobSig_24(OBJ);OBJ __AAnalyzedGlobSig_24; /* no,1 */
extern OBJ _AAnalyzedGlobSig_25(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_25; /* ` */
extern OBJ _AAnalyzedGlobSig_26(OBJ);OBJ __AAnalyzedGlobSig_26; /* actStructIde */
extern OBJ _AAnalyzedGlobSig_27(OBJ);OBJ __AAnalyzedGlobSig_27; /* actStructParams */
extern OBJ _AAnalyzedGlobSig_28(OBJ,OBJ);OBJ __AAnalyzedGlobSig_28; /* ide */
extern OBJ _AAnalyzedGlobSig_29(OBJ,OBJ);OBJ __AAnalyzedGlobSig_29; /* no,2 */
extern OBJ _AAnalyzedGlobSig_30(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_30; /* params */
extern OBJ _AAnalyzedGlobSig_31(OBJ,OBJ);OBJ __AAnalyzedGlobSig_31; /* `,1 */
extern OBJ _AAnalyzedGlobSig_32(OBJ);OBJ __AAnalyzedGlobSig_32; /* bool */
extern OBJ _AAnalyzedGlobSig_33(OBJ);OBJ __AAnalyzedGlobSig_33; /* denotation */
extern OBJ _AAnalyzedGlobSig_34(OBJ);OBJ __AAnalyzedGlobSig_34; /* true */
extern TUP2 _AAnalyzedGlobSig_35(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_35; /* matchingNames */
extern TUP2 _AAnalyzedGlobSig_36(OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_36; /* matchingSorts */
extern TUP2 _AAnalyzedGlobSig_37(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_37; /* matchingOps */
extern OBJ _AAnalyzedGlobSig_38(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_38; /* matchingInternalOps */
extern OBJ _AAnalyzedGlobSig_39(OBJ,OBJ);OBJ __AAnalyzedGlobSig_39; /* getInternalSort */
extern OBJ _AAnalyzedGlobSig_40(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_40; /* getInternalOp */
extern OBJ _AAnalyzedGlobSig_41(OBJ,OBJ);OBJ __AAnalyzedGlobSig_41; /* pos */
extern OBJ _AAnalyzedGlobSig_42(OBJ,OBJ);OBJ __AAnalyzedGlobSig_42; /* isExported */
extern OBJ _AAnalyzedGlobSig_43(OBJ,OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_43; /* freeConstr */
extern OBJ _AAnalyzedGlobSig_44(OBJ,OBJ);OBJ __AAnalyzedGlobSig_44; /* isFreeConstr */
extern OBJ _AAnalyzedGlobSig_45(OBJ,OBJ);OBJ __AAnalyzedGlobSig_45; /* test */
extern OBJ _AAnalyzedGlobSig_46(OBJ,OBJ);OBJ __AAnalyzedGlobSig_46; /* selectors */
extern OBJ _AAnalyzedGlobSig_47(OBJ,OBJ);OBJ __AAnalyzedGlobSig_47; /* useOp */
extern OBJ _AAnalyzedGlobSig_48(OBJ,OBJ);OBJ __AAnalyzedGlobSig_48; /* useConstr */
extern OBJ _AAnalyzedGlobSig_49(OBJ,OBJ);OBJ __AAnalyzedGlobSig_49; /* useGenerated */
extern OBJ _AAnalyzedGlobSig_50(OBJ,OBJ);OBJ __AAnalyzedGlobSig_50; /* isUsedByUser */
extern OBJ _AAnalyzedGlobSig_51(OBJ,OBJ);OBJ __AAnalyzedGlobSig_51; /* isUsedByCompiler */
extern OBJ _AAnalyzedGlobSig_52(OBJ,OBJ);OBJ __AAnalyzedGlobSig_52; /* isUsedForAc */
extern OBJ _AAnalyzedGlobSig_53(OBJ,OBJ);OBJ __AAnalyzedGlobSig_53; /* isUnusedFreeConstructor */
extern OBJ _AAnalyzedGlobSig_54(OBJ,OBJ);OBJ __AAnalyzedGlobSig_54; /* freeType */
extern OBJ _AAnalyzedGlobSig_55(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_55; /* defFreeType */
extern OBJ _AAnalyzedGlobSig_56(OBJ,OBJ);OBJ __AAnalyzedGlobSig_56; /* impl */
extern OBJ _AAnalyzedGlobSig_57(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_57; /* defImpl */
extern TUP2 _AAnalyzedGlobSig_58(OBJ,OBJ);OBJ __AAnalyzedGlobSig_58; /* law */
extern TUP2 _AAnalyzedGlobSig_59(OBJ,OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_59; /* defLaw */
extern OBJ _AAnalyzedGlobSig_60(OBJ,OBJ);OBJ __AAnalyzedGlobSig_60; /* treatInternalName */
extern OBJ _AAnalyzedGlobSig_61(OBJ,OBJ);OBJ __AAnalyzedGlobSig_61; /* treatImportedStruct */
extern OBJ _AAnalyzedGlobSig_62(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_62; /* treatExternalNames */
extern OBJ _AAnalyzedGlobSig_63(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_63; /* treatInstance */
extern OBJ _AAnalyzedGlobSig_64(OBJ);OBJ __AAnalyzedGlobSig_64; /* freeInternal */
extern OBJ _AAnalyzedGlobSig_65(OBJ,OBJ);OBJ __AAnalyzedGlobSig_65; /* parameter? */
extern OBJ _AAnalyzedGlobSig_66(OBJ,OBJ);OBJ __AAnalyzedGlobSig_66; /* paramNo */
extern OBJ _AAnalyzedGlobSig_67(OBJ,OBJ);OBJ __AAnalyzedGlobSig_67; /* formParamKinds */
extern OBJ _AAnalyzedGlobSig_68(OBJ);OBJ __AAnalyzedGlobSig_68; /* pragmas */
extern OBJ _AAnalyzedGlobSig_69(OBJ,OBJ);OBJ __AAnalyzedGlobSig_69; /* updPragmas */
extern OBJ _AAnalyzedGlobSig_70(OBJ,OBJ);OBJ __AAnalyzedGlobSig_70; /* theory? */
extern OBJ _AAnalyzedGlobSig_71(OBJ);OBJ __AAnalyzedGlobSig_71; /* level */
extern OBJ _AAnalyzedGlobSig_72(OBJ);OBJ __AAnalyzedGlobSig_72; /* level? */
OBJ __AAnalyzedGlobSig_74; /* single? */
extern OBJ _AAnalyzedGlobSig_75(OBJ);OBJ __AAnalyzedGlobSig_75; /* `` */
extern OBJ _AAnalyzedGlobSig_76(OBJ,OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_76; /* eqFct1 */
extern OBJ _AAnalyzedGlobSig_77(OBJ,OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_77; /* fctInsts */
extern OBJ _AAnalyzedGlobSig_78(OBJ,OBJ);OBJ __AAnalyzedGlobSig_78; /* varSubst */
extern OBJ _AAnalyzedGlobSig_79(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_79; /* eqFct2 */
extern OBJ _AAnalyzedGlobSig_80(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_80; /* checkGenericInst */
extern OBJ _AAnalyzedGlobSig_81(OBJ,OBJ);OBJ __AAnalyzedGlobSig_81; /* nameRel */
extern OBJ _AAnalyzedGlobSig_82(OBJ,OBJ);OBJ __AAnalyzedGlobSig_82; /* nameSetH */
extern OBJ _AAnalyzedGlobSig_83(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_83; /* ``` */
OBJ __AAnalyzedGlobSig_84; /* checkGenericInst? */
OBJ __AAnalyzedGlobSig_85; /* lookup? */
OBJ __AAnalyzedGlobSig_86; /* lookupIn? */
extern OBJ _AAnalyzedGlobSig_87(OBJ,OBJ);OBJ __AAnalyzedGlobSig_87; /* genericInst? */
extern OBJ _AAnalyzedGlobSig_88(OBJ,OBJ);OBJ __AAnalyzedGlobSig_88; /* delInstPointer */
extern OBJ _AAnalyzedGlobSig_89(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_89; /* delInstPointer2 */
extern OBJ _AAnalyzedGlobSig_90(OBJ,OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_90; /* toName2 */
extern OBJ _AAnalyzedGlobSig_92(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_92; /* changeInst */
extern OBJ _AAnalyzedGlobSig_95(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_95; /* map1 */
extern OBJ _AAnalyzedGlobSig_96(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_96; /* map2 */
extern OBJ _AAnalyzedGlobSig_97(OBJ,OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_97; /* map4 */
extern OBJ _AAnalyzedGlobSig_98(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_98; /* toName */
extern OBJ _AAnalyzedGlobSig_99(OBJ,OBJ);OBJ __AAnalyzedGlobSig_99; /* isInst? */
extern OBJ _AAnalyzedGlobSig_100(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_100; /* map3 */
extern OBJ _AAnalyzedGlobSig_104(OBJ,OBJ,OBJ);OBJ __AAnalyzedGlobSig_104; /* eqNameHOF */
OBJ __AAnalyzedGlobSig_105; /* ``'105 */
extern OBJ _AAnalyzedGlobSig_106(OBJ,OBJ);OBJ __AAnalyzedGlobSig_106; /* single'106 */
OBJ __AAnalyzedGlobSig_107; /* true'107 */
OBJ __AAnalyzedGlobSig_108; /* true'108 */
OBJ __AAnalyzedGlobSig_109; /* ```'109 */
OBJ __AAnalyzedGlobSig_110; /* ```'110 */
OBJ __AAnalyzedGlobSig_111; /* ```'111 */
OBJ __AAnalyzedGlobSig_112; /* matchingNames'112 */
OBJ __AAnalyzedGlobSig_113; /* matchingSorts'113 */
OBJ __AAnalyzedGlobSig_114; /* fctInsts'114 */
OBJ __AAnalyzedGlobSig_115; /* eqFct1'115 */
OBJ __AAnalyzedGlobSig_116; /* matchingOps'116 */
OBJ __AAnalyzedGlobSig_117; /* matchingInternalOps'117 */
extern OBJ _AAnalyzedGlobSig_118(OBJ);OBJ __AAnalyzedGlobSig_118; /* useConstr'118 */
OBJ __AAnalyzedGlobSig_119; /* paramNo'119 */
extern OBJ _AAnalyzedGlobSig_120(OBJ);OBJ __AAnalyzedGlobSig_120; /* theory?'120 */
OBJ __AAnalyzedGlobSig_121; /* single?'121 */
OBJ __AAnalyzedGlobSig_122; /* checkGenericInst?'122 */
OBJ __AAnalyzedGlobSig_123; /* lookup?'123 */
OBJ __AAnalyzedGlobSig_124; /* lookupIn?'124 */

extern OBJ _AAnalyzedGlobSig_1(OBJ x1) /* global? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,2)||ISTGPRD(x1,4)||ISTGPRD(x1,5)||ISTGPRD(x1,1))){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AAnalyzedGlobSig_2(OBJ x1,OBJ x2) /* rep */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  {OBJ x16=FLD(x2,1);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   COPY(x1,1);
   {OBJ x17;OBJ x18;OBJ x19;
    x17=_AGlobSig_56(x1);
    x18=_AName4SigAna_59(x1,x16);
    x19=_ADArray_20(x17,x18);
    r=_ADeclEntry_14(x19);}}
 }else{
  COPY(x2,1);
  {OBJ x20;OBJ x21;OBJ x22;OBJ x23;OBJ x24;OBJ x25;
   x20=_AGlobSig_55(x1);
   x21=_AName_12(x2);
   x22=_AName_11(x2);
   x23=_ADArray_20(x20,x21);
   x24=_AImpExpEntry_92(x23);
   x25=_ADArray_20(x24,x22);
   r=_AImpExpEntry_11(x25);}}
 return r;}

extern OBJ _AAnalyzedGlobSig_3(OBJ x1,OBJ x2) /* origIde */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  if(EXPRD(x2,1)){
   DSPRDF(x2);
  }else{
   DCPRD(x2,1);}
  r=_AGlobSig_58(x1);
 }else{
  {OBJ x12;OBJ x13;OBJ x14;OBJ x15;
   x12=_AGlobSig_55(x1);
   x13=_AName_12(x2);
   x14=_ADArray_20(x12,x13);
   x15=_AImpExpEntry_93(x14);
   {OBJ x16=FLD1(x15,1);
    if(EXPRD(x15,1)){
     r=x16;
     FREE(FLD1(x15,2),1);DSPRDF(x15);
    }else{
     CPPRD(x16,1);
     r=x16;
     FRPRD(x15,1);}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_4(OBJ x1,OBJ x2) /* origInst */
{OBJ r;
 r=_AAnalyzedGlobSigH_2(x1,x2);
 return r;}

extern OBJ _AAnalyzedGlobSig_5(OBJ x1,OBJ x2) /* sort? */
{OBJ r;
 r=_AName4SigAna_4(x1,x2);
 return r;}

extern OBJ _AAnalyzedGlobSig_6(OBJ x1,OBJ x2) /* op? */
{OBJ r;
 {OBJ x3;
  x3=_AName4SigAna_4(x1,x2);
  if(ISTGPRM(x3,1)){
   r=__ABUILTIN_3;
  }else{
   r=__ABUILTIN_5;}}
 return r;}

extern OBJ _AAnalyzedGlobSig_7(OBJ x1,OBJ x2) /* fct */
{OBJ r;
 r=_AAnalyzedGlobSigH_1(x1,x2);
 return r;}

extern OBJ _AAnalyzedGlobSig_8(OBJ x1,OBJ x2) /* origIdeNo */
{OBJ r;
 FREE(x1,1);
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  if(EXPRD(x2,1)){
   DSPRDF(x2);
  }else{
   DCPRD(x2,1);}
  r=__AObjects_29;
 }else{
  if(ISPRD(x2)&&(ISTGPRD(x2,4)||ISTGPRD(x2,5)||ISTGPRD(x2,2))){
   r=_AName_12(x2);
  }else{
   HLT("AnalyzedGlobSig at <83,12-86,44> : missing else in origIdeNo\'AnalyzedGlobSig:globSig**name->nat");}}
 return r;}

extern OBJ _AAnalyzedGlobSig_9(OBJ x1,OBJ x2) /* no */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  {OBJ x7=FLD(x2,1);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   r=_AName4SigAna_59(x1,x7);}
 }else{
  FREE(x1,1);
  r=_AName_11(x2);}
 return r;}

extern OBJ _AAnalyzedGlobSig_10(OBJ x1) /* globalSet? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,5))){
  if(EXPRD(x1,1)){
   FREE(FLD(x1,3),1);DSPRDF(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AAnalyzedGlobSig_11(OBJ x1) /* internal? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,1))){
  if(EXPRD(x1,1)){
   DSPRDF(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AAnalyzedGlobSig_12(OBJ x1) /* external? */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,4)||ISTGPRD(x1,5)||ISTGPRD(x1,2))){
  if(EXPRD(x1,1)){
   DSPRD(x1);
  }else{
   DCPRD(x1,1);}
  r=__ABUILTIN_5;
 }else{
  FREE(x1,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AAnalyzedGlobSig_13(OBJ x1) /* origInst,1 */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,5))){
  {OBJ x4=FLD(x1,3);
   if(EXPRD(x1,1)){
    r=x4;
    DSPRDF(x1);
   }else{
    COPY(x4,1);
    r=x4;
    FRPRD(x1,1);}}
 }else{
  HLT("Name at <unknown> : undefined selection insts\'Name:name->seq");}
 return r;}

extern OBJ _AAnalyzedGlobSig_14(OBJ x1,OBJ x2) /* replInst */
{OBJ r;
 COPY(x1,1);
 {OBJ x3;
  x3=_AName_12(x1);
  PRD(3,5,r);FLD(r,1)=x3;FLD(r,3)=x2;
  FLD(r,2)=_AName_11(x1);}
 return r;}

extern TUP2 _AAnalyzedGlobSig_15(OBJ x1,OBJ x2) /* single */
{TUP2 r;
 CPCLS(__AAnalyzedGlobSig_106,1);
 COPY(x2,1);
 {OBJ x3;OBJ x4;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_106,1))(__AAnalyzedGlobSig_106,x2);
  x4=_ADEBUG_2(__AAnalyzedGlobSig_74,x3,x2);
  if(ISPRD(x4)&&(ISTGPRD(x4,5))){
   {OBJ x50=FLD(x4,3);
    COPY(x50,1);
    COPY(x1,1);
    CPPRD(x4,2);
    CPCLS(__AAnalyzedGlobSig_15,1);
    {OBJ x51;OBJ x52;TUP2 x54;OBJ x56;OBJ x63;OBJ x64;OBJ x65;
     x51=_AName_11(x4);
     x52=_AName_12(x4);
     x54=_ASeqMapEnv_4(__AAnalyzedGlobSig_15,x1,x50);
     COPY(x54.c2,1);
     x56=_AImpDecl4SigAna_31(x1,x52,x54.c2);
     if(ISPRM(x56)){
      {TUP2 x58;
       x58=_AImpDecl4SigAna_19(x54.c1,x52,x54.c2);x64=x58.c2;
       r.c1=_AImpDecl4SigAna_30(x58.c1,x4,x64);}
     }else{
      {OBJ x61=FLD1(x56,1);
       if(EXPRD(x56,1)){
	r.c1=x54.c1;x64=x61;
	DSPRDF(x56);
       }else{
	r.c1=x54.c1;x64=x61;
	FRPRD(x56,1);}
       if(EXPRD(x4,1)){
	FREE(FLD(x4,3),1);DSPRDF(x4);
       }else{
	DCPRD(x4,1);}
       FREE(x54.c2,1);}}
     PRDF(3,2,r.c2);FLD(r.c2,1)=x52;FLD(r.c2,2)=x51;FLD(r.c2,3)=x64;}}
  }else{
   r.c2=x4;
   r.c1=x1;}}
 return r;}
extern OBJ _AAnalyzedGlobSig_15_c(OBJ x1,OBJ x2) /* single */
{OBJ r;
 {TUP2 t=_AAnalyzedGlobSig_15(x1,x2);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern TUP2 _AAnalyzedGlobSig_16(OBJ x1,OBJ x2) /* single,1 */
{TUP2 r;
 CPCLS(__AAnalyzedGlobSig_15,1);
 r=_AAbsyFun3_4(__AAnalyzedGlobSig_15,x1,x2);
 return r;}
extern OBJ _AAnalyzedGlobSig_16_c(OBJ x1,OBJ x2) /* single,1 */
{OBJ r;
 {TUP2 t=_AAnalyzedGlobSig_16(x1,x2);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern OBJ _AAnalyzedGlobSig_17(OBJ x1,OBJ x2) /* eqBase */
{OBJ r;
 r=_AImpDecl4SigAna_57(x1,x2);
 return r;}

extern OBJ _AAnalyzedGlobSig_18(OBJ x1,OBJ x2,OBJ x3) /* eqName */
{OBJ r;
 r=_AAnalyzedGlobSigH_5(x1,x2,x3);
 return r;}

extern OBJ _AAnalyzedGlobSig_19(OBJ x1,OBJ x2) /* ltName */
{OBJ r;
 r=_AName_32(x1,x2);
 return r;}

extern OBJ _AAnalyzedGlobSig_24(OBJ x1) /* no,1 */
{OBJ r;
 r=x1;
 return r;}

extern OBJ _AAnalyzedGlobSig_25(OBJ x1,OBJ x2,OBJ x3) /* ` */
{OBJ r;
 r=_AAnalyzedGlobSigH_9(x1,x2,x3);
 return r;}

extern OBJ _AAnalyzedGlobSig_26(OBJ x1) /* actStructIde */
{OBJ r;
 r=_AGlobSig_58(x1);
 return r;}

extern OBJ _AAnalyzedGlobSig_27(OBJ x1) /* actStructParams */
{OBJ r;
 r=_AAnalyzedGlobSigH_3(x1);
 return r;}

extern OBJ _AAnalyzedGlobSig_28(OBJ x1,OBJ x2) /* ide */
{OBJ r;
 {OBJ x3;OBJ x4;OBJ x5;
  x3=_AGlobSig_55(x1);
  x4=_ADArray_20(x3,x2);
  x5=_AImpExpEntry_93(x4);
  {OBJ x6=FLD1(x5,1);
   if(EXPRD(x5,1)){
    r=x6;
    FREE(FLD1(x5,2),1);DSPRDF(x5);
   }else{
    CPPRD(x6,1);
    r=x6;
    FRPRD(x5,1);}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_29(OBJ x1,OBJ x2) /* no,2 */
{OBJ r;
 FREE(x1,1);
 r=x2;
 return r;}

extern OBJ _AAnalyzedGlobSig_30(OBJ x1,OBJ x2,OBJ x3) /* params */
{OBJ r;
 {OBJ x4;
  ANat_76(x3,__AObjects_30,x4);
  if(ISTGPRM(x4,1)){
   FREE(x1,1);
   r=__ASeq_6;
  }else{
   r=_AImpDecl4SigAna_22(x1,x2,x3);}}
 return r;}

extern OBJ _AAnalyzedGlobSig_31(OBJ x1,OBJ x2) /* `,1 */
{OBJ r;
 r=_AGlobSigToText_1(x1,__ABUILTIN_20);
 return r;}

extern OBJ _AAnalyzedGlobSig_32(OBJ x1) /* bool */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,2))){
  {OBJ x11=FLD(x1,10);
   if(EXPRD(x1,1)){
    r=x11;
    FLD(x1,10)=NIL;DSPRD(x1);
   }else{
    COPY(x11,1);
    r=x11;
    FRPRD(x1,1);}}
 }else{
  HLT("GlobSig at <unknown> : undefined selection bool\'GlobSig:globSig->name");}
 return r;}

extern OBJ _AAnalyzedGlobSig_33(OBJ x1) /* denotation */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,2))){
  {OBJ x12=FLD(x1,11);
   if(EXPRD(x1,1)){
    r=x12;
    FLD(x1,11)=NIL;DSPRD(x1);
   }else{
    COPY(x12,1);
    r=x12;
    FRPRD(x1,1);}}
 }else{
  HLT("GlobSig at <unknown> : undefined selection denotation\'GlobSig:globSig->name");}
 return r;}

extern OBJ _AAnalyzedGlobSig_34(OBJ x1) /* true */
{OBJ r;
 CPPRD(__ARep_101,1);
 {OBJ x2;OBJ x3;
  x2=_AGlobSig_58(x1);
  x3=_ARep_24(x2,__ARep_101);
  if(ISTGPRM(x3,1)){
   COPY(__AAnalyzedGlobSig_107,1);
   r=__AAnalyzedGlobSig_107;
  }else{
   COPY(__AAnalyzedGlobSig_108,1);
   r=__AAnalyzedGlobSig_108;}}
 return r;}

extern TUP2 _AAnalyzedGlobSig_35(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* matchingNames */
{TUP2 r;
 {OBJ x10;OBJ x6;OBJ x7;OBJ x11;OBJ x12;OBJ x13;OBJ x14;OBJ x15;OBJ x16;OBJ x18;OBJ x20;OBJ x21;OBJ x22;OBJ x23;OBJ x24;OBJ x25;
  if(ISPRM(x4)){
   COPY(x1,4);
   CPPRD(x2,1);
   COPY(x3,1);
   CPCLS(__AAnalyzedGlobSig_80,1);
   CPCLS(__AAnalyzedGlobSig_88,1);
   CPPRD(__AAnalyzedGlobSig_112,1);
   CPCLS(__AImpExpEntry_128,1);
   CPCLS(__AAnalyzedGlobSigH_6,1);
   CPCLS(__AAnalyzedGlobSigH_11,1);
   CPCLS(__AMySeqFun3_5,1);
   x10=__ABUILTIN_5;
  }else{
   COPY(x1,4);
   CPPRD(x2,1);
   COPY(x3,1);
   CPPRD(x4,2);
   CPCLS(__AAnalyzedGlobSig_80,1);
   CPCLS(__AAnalyzedGlobSig_88,1);
   CPPRD(__AAnalyzedGlobSig_112,1);
   CPCLS(__AImpExpEntry_128,1);
   CPCLS(__AAnalyzedGlobSigH_6,1);
   CPCLS(__AAnalyzedGlobSigH_11,1);
   CPCLS(__AMySeqFun3_5,1);
   x10=__ABUILTIN_3;}
  x6=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_11,5))(__AAnalyzedGlobSigH_11,__AAnalyzedGlobSig_112,x2,x3,x4,__AOption_5);
  x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_88,1))(__AAnalyzedGlobSig_88,x1);
  x11=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_6,1))(__AAnalyzedGlobSigH_6,x1);
  x12=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_80,2))(__AAnalyzedGlobSig_80,x1,x4);
  x13=_ADEBUG_2(__AAnalyzedGlobSig_86,x6,x2);
  x14=(*(OBJ(*)(OBJ,OBJ))METHOD(__AMySeqFun3_5,1))(__AMySeqFun3_5,x11);
  x15=_AGlobSig4SigAna_25(x1,x13,x3,__AImpExpEntry_128);
  x16=_ASeqMap_3(x7,x15);
  if(ISTGPRM(x10,1)){
   x18=x16;
   FREE(x4,1);
   CPCLS(__AAnalyzedGlobSigH_10,1);
  }else{
   COPY(x1,1);
   CPCLS(__AAnalyzedGlobSigH_7,1);
   CPCLS(__AAnalyzedGlobSigH_10,1);
   {OBJ x17;
    x17=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_7,2))(__AAnalyzedGlobSigH_7,x1,x4);
    x18=_ASeqReduce_3(x17,__ASeq_6,x16);}}
  {TUP2 t=_ASeqMapEnv_4(x14,x5,x18);
   r.c2=t.c1;
   x21=t.c2;}
  x22=_ASeqMap_3(x12,x21);
  x23=_ASeqOfSeq_2(x22);
  COPY(x23,1);
  x24=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_10,2))(__AAnalyzedGlobSigH_10,x1,x23);
  r.c1=_ADEBUG_2(__AAnalyzedGlobSig_85,x24,x23);}
 return r;}
extern OBJ _AAnalyzedGlobSig_35_c(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* matchingNames */
{OBJ r;
 {TUP2 t=_AAnalyzedGlobSig_35(x1,x2,x3,x4,x5);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern TUP2 _AAnalyzedGlobSig_36(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* matchingSorts */
{TUP2 r;
 {OBJ x10;OBJ x6;OBJ x7;OBJ x11;OBJ x12;OBJ x13;OBJ x14;OBJ x15;OBJ x16;OBJ x18;OBJ x20;OBJ x21;OBJ x22;OBJ x23;OBJ x24;OBJ x25;
  if(ISPRM(x4)){
   COPY(x1,4);
   CPPRD(x2,1);
   COPY(x3,1);
   CPCLS(__AAnalyzedGlobSig_80,1);
   CPCLS(__AAnalyzedGlobSig_88,1);
   CPPRD(__AAnalyzedGlobSig_113,1);
   CPCLS(__AImpExpEntry_128,1);
   CPCLS(__AAnalyzedGlobSigH_6,1);
   CPCLS(__AAnalyzedGlobSigH_11,1);
   CPCLS(__AMySeqFun3_5,1);
   x10=__ABUILTIN_5;
  }else{
   COPY(x1,4);
   CPPRD(x2,1);
   COPY(x3,1);
   CPPRD(x4,2);
   CPCLS(__AAnalyzedGlobSig_80,1);
   CPCLS(__AAnalyzedGlobSig_88,1);
   CPPRD(__AAnalyzedGlobSig_113,1);
   CPCLS(__AImpExpEntry_128,1);
   CPCLS(__AAnalyzedGlobSigH_6,1);
   CPCLS(__AAnalyzedGlobSigH_11,1);
   CPCLS(__AMySeqFun3_5,1);
   x10=__ABUILTIN_3;}
  x6=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_11,5))(__AAnalyzedGlobSigH_11,__AAnalyzedGlobSig_113,x2,x3,x4,__AOption_5);
  x7=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_88,1))(__AAnalyzedGlobSig_88,x1);
  x11=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_6,1))(__AAnalyzedGlobSigH_6,x1);
  x12=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_80,2))(__AAnalyzedGlobSig_80,x1,x4);
  x13=_ADEBUG_2(__AAnalyzedGlobSig_86,x6,x2);
  x14=(*(OBJ(*)(OBJ,OBJ))METHOD(__AMySeqFun3_5,1))(__AMySeqFun3_5,x11);
  x15=_AGlobSig4SigAna_26(x1,x13,x3,__AImpExpEntry_128);
  x16=_ASeqMap_3(x7,x15);
  if(ISTGPRM(x10,1)){
   x18=x16;
   FREE(x4,1);
   CPCLS(__AAnalyzedGlobSigH_10,1);
  }else{
   COPY(x1,1);
   CPCLS(__AAnalyzedGlobSigH_7,1);
   CPCLS(__AAnalyzedGlobSigH_10,1);
   {OBJ x17;
    x17=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_7,2))(__AAnalyzedGlobSigH_7,x1,x4);
    x18=_ASeqReduce_3(x17,__ASeq_6,x16);}}
  {TUP2 t=_ASeqMapEnv_4(x14,x5,x18);
   r.c2=t.c1;
   x21=t.c2;}
  x22=_ASeqMap_3(x12,x21);
  x23=_ASeqOfSeq_2(x22);
  COPY(x23,1);
  x24=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_10,2))(__AAnalyzedGlobSigH_10,x1,x23);
  r.c1=_ADEBUG_2(__AAnalyzedGlobSig_85,x24,x23);}
 return r;}
extern OBJ _AAnalyzedGlobSig_36_c(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5) /* matchingSorts */
{OBJ r;
 {TUP2 t=_AAnalyzedGlobSig_36(x1,x2,x3,x4,x5);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern TUP2 _AAnalyzedGlobSig_37(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5,OBJ x6) /* matchingOps */
{TUP2 r;
 {OBJ x14;OBJ x11;OBJ x7;OBJ x8;OBJ x12;OBJ x15;OBJ x16;OBJ x17;OBJ x18;OBJ x19;OBJ x21;OBJ x23;OBJ x24;OBJ x29;OBJ x30;OBJ x31;OBJ x32;OBJ x33;
  if(ISPRM(x5)){
   x14=__ABUILTIN_5;
  }else{
   x14=__ABUILTIN_3;}
  if(ISPRM(x4)){
   COPY(x1,4);
   CPPRD(x2,1);
   COPY(x3,1);
   COPY(x5,1);
   CPCLS(__AAnalyzedGlobSig_80,1);
   CPCLS(__AAnalyzedGlobSig_88,1);
   CPPRD(__AAnalyzedGlobSig_116,1);
   CPCLS(__AImpExpEntry_128,1);
   CPCLS(__AAnalyzedGlobSigH_6,1);
   CPCLS(__AAnalyzedGlobSigH_11,1);
   CPCLS(__AMySeqFun3_5,1);
   x11=__ABUILTIN_5;
  }else{
   COPY(x1,4);
   CPPRD(x2,1);
   COPY(x3,1);
   CPPRD(x4,2);
   COPY(x5,1);
   CPCLS(__AAnalyzedGlobSig_80,1);
   CPCLS(__AAnalyzedGlobSig_88,1);
   CPPRD(__AAnalyzedGlobSig_116,1);
   CPCLS(__AImpExpEntry_128,1);
   CPCLS(__AAnalyzedGlobSigH_6,1);
   CPCLS(__AAnalyzedGlobSigH_11,1);
   CPCLS(__AMySeqFun3_5,1);
   x11=__ABUILTIN_3;}
  x7=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_11,5))(__AAnalyzedGlobSigH_11,__AAnalyzedGlobSig_116,x2,x3,x4,x5);
  x8=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_88,1))(__AAnalyzedGlobSig_88,x1);
  x12=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_6,1))(__AAnalyzedGlobSigH_6,x1);
  x15=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_80,2))(__AAnalyzedGlobSig_80,x1,x4);
  x16=_ADEBUG_2(__AAnalyzedGlobSig_86,x7,x2);
  x17=(*(OBJ(*)(OBJ,OBJ))METHOD(__AMySeqFun3_5,1))(__AMySeqFun3_5,x12);
  x18=_AGlobSig4SigAna_27(x1,x16,x3,__AImpExpEntry_128);
  x19=_ASeqMap_3(x8,x18);
  if(ISTGPRM(x11,1)){
   x21=x19;
   FREE(x4,1);
  }else{
   COPY(x1,1);
   CPCLS(__AAnalyzedGlobSigH_7,1);
   {OBJ x20;
    x20=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_7,2))(__AAnalyzedGlobSigH_7,x1,x4);
    x21=_ASeqReduce_3(x20,__ASeq_6,x19);}}
  {TUP2 t=_ASeqMapEnv_4(x17,x6,x21);
   x23=t.c1;
   x24=t.c2;}
  if(ISTGPRM(x14,1)){
   r.c2=x23;x29=x24;
   FREE(x5,1);
   CPCLS(__AAnalyzedGlobSigH_10,1);
  }else{
   {OBJ x26;OBJ x27;OBJ x28;
    if(ISPRM(x5)){
     HLT("Option at <unknown> : undefined selection cont\'Option:option->data");
    }else{
     {OBJ x25=FLD1(x5,1);
      if(EXPRD(x5,1)){
       r.c2=x23;x26=x25;
       DSPRDF(x5);
      }else{
       COPY(x25,1);
       r.c2=x23;x26=x25;
       FRPRD(x5,1);}
      COPY(x1,1);
      CPCLS(__AAnalyzedGlobSig_76,1);
      CPCLS(__AAnalyzedGlobSigH_10,1);
      CPCLS(__ASeqReduce_7,1);}}
    x27=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_76,2))(__AAnalyzedGlobSig_76,x1,x26);
    x28=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__ASeqReduce_7,2))(__ASeqReduce_7,x27,__ASeq_6);
    x29=_ASeqMap_3(x28,x24);}}
  x30=_ASeqMap_3(x15,x29);
  x31=_ASeqOfSeq_2(x30);
  COPY(x31,1);
  x32=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_10,2))(__AAnalyzedGlobSigH_10,x1,x31);
  r.c1=_ADEBUG_2(__AAnalyzedGlobSig_85,x32,x31);}
 return r;}
extern OBJ _AAnalyzedGlobSig_37_c(OBJ x1,OBJ x2,OBJ x3,OBJ x4,OBJ x5,OBJ x6) /* matchingOps */
{OBJ r;
 {TUP2 t=_AAnalyzedGlobSig_37(x1,x2,x3,x4,x5,x6);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern OBJ _AAnalyzedGlobSig_38(OBJ x1,OBJ x2,OBJ x3) /* matchingInternalOps */
{OBJ r;
 CPPRD(__AAnalyzedGlobSig_117,1);
 CPCLS(__AAnalyzedGlobSigH_11,1);
 COPY(x1,1);
 CPPRD(x2,1);
 COPY(x3,1);
 {OBJ x4;OBJ x5;OBJ x6;
  x4=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_11,5))(__AAnalyzedGlobSigH_11,__AAnalyzedGlobSig_117,x2,__AOption_5,__ASeq_6,x3);
  x5=_AGlobSig_52(x1);
  x6=_ADEBUG_2(__AAnalyzedGlobSig_86,x4,x2);
  {OBJ x7=FLD1(x6,1);
   if(EXPRD(x6,1)){
    FRPRD(FLD1(x6,2),1);DSPRDF(x6);
   }else{
    FRPRD(x6,1);}
   {OBJ x10;OBJ x11;OBJ x13;OBJ x28;OBJ x29;
    x10=x7;
    x11=_ADArray_21(x5,x10);
    if(ISPRM(x11)){
     x13=__ABUILTIN_5;
    }else{
     x13=__ABUILTIN_3;}
    if(ISTGPRM(x13,1)){
     FREE(x3,1);
     FREE(x11,1);
     CPCLS(__AAnalyzedGlobSigH_10,1);
     x28=__ASeq_6;
    }else{
     {OBJ x15;OBJ x17;
      if(ISPRM(x3)){
       x15=__ABUILTIN_5;
      }else{
       x15=__ABUILTIN_3;}
      if(ISPRM(x11)){
       HLT("Option at <unknown> : undefined selection cont\'Option:option->data");
      }else{
       {OBJ x16=FLD1(x11,1);
	if(EXPRD(x11,1)){
	 x17=x16;
	 DSPRDF(x11);
	}else{
	 CPPRD(x16,1);
	 x17=x16;
	 FRPRD(x11,1);}}}
      {OBJ x20=FLD1(x17,3);
       if(EXPRD(x17,1)){
	FLD1(x17,3)=NIL;DSPRD(x17);
       }else{
	COPY(x20,1);
	FRPRD(x17,1);}
       {OBJ x23;OBJ x27;
	x23=x20;
	if(ISTGPRM(x15,1)){
	 x27=x23;
	 FREE(x3,1);
	 CPPRD(__AName_26,1);
	 CPCLS(__AAnalyzedGlobSigH_10,1);
	}else{
	 {OBJ x25;OBJ x26;
	  if(ISPRM(x3)){
	   HLT("Option at <unknown> : undefined selection cont\'Option:option->data");
	  }else{
	   {OBJ x24=FLD1(x3,1);
	    if(EXPRD(x3,1)){
	     x25=x24;
	     DSPRDF(x3);
	    }else{
	     COPY(x24,1);
	     x25=x24;
	     FRPRD(x3,1);}
	    COPY(x1,1);
	    CPCLS(__AAnalyzedGlobSig_79,1);
	    CPPRD(__AName_26,1);
	    CPCLS(__AAnalyzedGlobSigH_10,1);}}
	  x26=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_79,2))(__AAnalyzedGlobSig_79,x1,x25);
	  x27=_ASeqFilter_2(x26,x23);}}
	x28=_ASeqMap_3(__AName_26,x27);}}}}
    COPY(x28,1);
    x29=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_10,2))(__AAnalyzedGlobSigH_10,x1,x28);
    r=_ADEBUG_2(__AAnalyzedGlobSig_85,x29,x28);}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_39(OBJ x1,OBJ x2) /* getInternalSort */
{OBJ r;
 {OBJ x7;
  x7=_AGlobSig_52(x1);
  {OBJ x3=FLD1(x2,1);
   if(EXPRD(x2,1)){
    FRPRD(FLD1(x2,2),1);DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   {OBJ x6;OBJ x8;
    x6=x3;
    x8=_ADArray_20(x7,x6);
    {OBJ x19=FLD1(x8,2);
     if(EXPRD(x8,1)){
      FLD1(x8,2)=NIL;DSPRD(x8);
     }else{
      COPY(x19,1);
      FRPRD(x8,1);}
     {OBJ x25;
      if(ISPRM(x19)){
       HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
      }else{
       {OBJ x23=FLD1(x19,1);
	if(EXPRD(x19,1)){
	 x25=x23;
	 FREE(FLD1(x19,2),1);DSPRDF(x19);
	}else{
	 x25=x23;
	 FRPRD(x19,1);}}}
      PRDF(1,1,r);FLD(r,1)=x25;}}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_40(OBJ x1,OBJ x2,OBJ x3) /* getInternalOp */
{OBJ r;
 CPCLS(__AAnalyzedGlobSig_79,1);
 COPY(x1,1);
 {OBJ x4;OBJ x9;
  x4=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_79,2))(__AAnalyzedGlobSig_79,x1,x3);
  x9=_AGlobSig_52(x1);
  {OBJ x5=FLD1(x2,1);
   if(EXPRD(x2,1)){
    FRPRD(FLD1(x2,2),1);DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   {OBJ x8;OBJ x10;
    x8=x5;
    x10=_ADArray_20(x9,x8);
    {OBJ x13=FLD1(x10,3);
     if(EXPRD(x10,1)){
      FLD1(x10,3)=NIL;DSPRD(x10);
     }else{
      COPY(x13,1);
      FRPRD(x10,1);}
     {OBJ x16;OBJ x17;OBJ x20;
      x16=x13;
      x17=_ASeqFilter_2(x4,x16);
      if(ISPRM(x17)){
       HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
      }else{
       {OBJ x18=FLD1(x17,1);
	if(EXPRD(x17,1)){
	 x20=x18;
	 FREE(FLD1(x17,2),1);DSPRDF(x17);
	}else{
	 x20=x18;
	 FRPRD(x17,1);}}}
      PRDF(1,1,r);FLD(r,1)=x20;}}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_41(OBJ x1,OBJ x2) /* pos */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  {OBJ x16=FLD(x2,1);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   COPY(x1,1);
   {OBJ x17;OBJ x18;OBJ x19;
    x17=_AGlobSig_56(x1);
    x18=_AName4SigAna_59(x1,x16);
    x19=_ADArray_20(x17,x18);
    r=_ADeclEntry_13(x19);}}
 }else{
  {OBJ x20;OBJ x21;OBJ x22;OBJ x23;
   x20=_AGlobSig_55(x1);
   x21=_AName_12(x2);
   x22=_ADArray_20(x20,x21);
   x23=_AImpExpEntry_93(x22);
   {OBJ x25=FLD1(x23,2);
    if(EXPRD(x23,1)){
     r=x25;
     FRPRD(FLD1(x23,1),1);DSPRDF(x23);
    }else{
     COPY(x25,1);
     r=x25;
     FRPRD(x23,1);}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_42(OBJ x1,OBJ x2) /* isExported */
{OBJ r;
 {OBJ x3;
  x3=_AName4SigAna_25(x1,x2);
  ABitset_21(__AAttributes_25,x3,r);}
 return r;}

extern OBJ _AAnalyzedGlobSig_43(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* freeConstr */
{OBJ r;
 CPCLS(__AName_28,1);
 COPY(x1,1);
 {OBJ x7;OBJ x10;
  x7=_AGlobSig_56(x1);
  x10=_ASeqMap_3(__AName_28,x4);
  if(ISPRD(x2)&&(ISTGPRD(x2,1))){
   {OBJ x32=FLD(x2,1);
    if(EXPRD(x2,1)){
     DSPRDF(x2);
    }else{
     FRPRD(x2,1);}
    if(ISPRD(x3)&&(ISTGPRD(x3,1))){
     {OBJ x33=FLD(x3,1);
      if(EXPRD(x3,1)){
       DSPRDF(x3);
      }else{
       FRPRD(x3,1);}
      CPPRD(x7,1);
      {OBJ x34;OBJ x35;OBJ x53;OBJ x36;OBJ x37;OBJ x38;OBJ x39;OBJ x54;OBJ x55;
       x34=x33;
       x35=_ADArray_20(x7,x32);
       if(ISTGPRD(x35,2)||ISTGPRD(x35,1)){
	{OBJ x44=FLD(x35,5);
	 COPY(x44,1);
	 x53=x44;
	 CPPRD(x35,3);}
       }else{
	HLT("DeclEntry at <unknown> : undefined selection fct\'DeclEntry:declE->fct");}
       x36=_ADeclEntry_11(x35);
       x37=_ADeclEntry_12(x35);
       x38=_ADeclEntry_13(x35);
       x39=_ADeclEntry_14(x35);
       PRD(7,2,x54);FLD(x54,1)=x39;FLD(x54,2)=x38;FLD(x54,3)=x37;FLD(x54,4)=x36;FLD(x54,5)=x53;FLD(x54,6)=x34;FLD(x54,7)=x10;
       x55=_ADArray_15(x7,x32,x54);
       r=_AGlobSig_80(x1,x55);}}
    }else{
     HLT("Name at <unknown> : undefined selection decl\'Name:name->decl");}}
  }else{
   HLT("Name at <unknown> : undefined selection decl\'Name:name->decl");}}
 return r;}

extern OBJ _AAnalyzedGlobSig_44(OBJ x1,OBJ x2) /* isFreeConstr */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  {OBJ x43=FLD(x2,1);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   {OBJ x44;OBJ x45;
    x44=_AGlobSig_56(x1);
    x45=_ADArray_20(x44,x43);
    if(ISTGPRD(x45,2)){
     if(EXPRD(x45,1)){
      DSPRD(x45);
     }else{
      DCPRD(x45,1);}
     r=__ABUILTIN_5;
    }else{
     FRPRD(x45,1);
     r=__ABUILTIN_3;}}}
 }else{
  COPY(x2,1);
  {OBJ x53;OBJ x54;OBJ x55;OBJ x56;OBJ x57;OBJ x58;
   x53=_AGlobSig_55(x1);
   x54=_AName_12(x2);
   x55=_AName_11(x2);
   x56=_ADArray_20(x53,x54);
   x57=_AImpExpEntry_92(x56);
   x58=_ADArray_20(x57,x55);
   if(ISTGPRD(x58,4)||ISTGPRD(x58,2)){
    if(EXPRD(x58,1)){
     DSPRD(x58);
    }else{
     DCPRD(x58,1);}
    r=__ABUILTIN_5;
   }else{
    FRPRD(x58,1);
    r=__ABUILTIN_3;}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_45(OBJ x1,OBJ x2) /* test */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  {OBJ x109=FLD(x2,1);FLAG x_x2=EXPRD(x2,1);
   if(x_x2){
   }else{}
   {OBJ x110;OBJ x111;
    x110=_AGlobSig_56(x1);
    x111=_ADArray_20(x110,x109);
    if(ISTGPRD(x111,2)){
     {OBJ x117=FLD(x111,6);
      if(EXPRD(x111,1)){
       DSPRD(x111);
      }else{
       FRPRD(x111,1);}
      if(x_x2){
       RPRDF(x2,r);FLD(r,1)=x117;
      }else{
       FRPRD(x2,1);PRDF(1,1,r);FLD(r,1)=x117;}}
    }else{
     HLT("DeclEntry at <unknown> : undefined selection test\'DeclEntry:declE->decl");}}}
 }else{
  COPY(x2,2);
  {OBJ x119;OBJ x120;OBJ x121;
   x119=_AGlobSig_55(x1);
   x120=_AName_12(x2);
   x121=_AName_11(x2);
   if(ISPRD(x2)&&(ISTGPRD(x2,2))){
    {OBJ x124=FLD(x2,3);
     if(EXPRD(x2,1)){
      {OBJ x125;OBJ x126;OBJ x127;OBJ x138;
       x125=_ADArray_20(x119,x120);
       x126=_AImpExpEntry_92(x125);
       x127=_ADArray_20(x126,x121);
       if(ISTGPRD(x127,4)||ISTGPRD(x127,2)){
	{OBJ x131=FLD(x127,4);
	 if(EXPRD(x127,1)){
	  x138=x131;
	  DSPRD(x127);
	 }else{
	  x138=x131;
	  FRPRD(x127,1);}}
       }else{
	HLT("ImpExpEntry at <unknown> : undefined selection test\'ImpExpEntry:impDeclE->impDecl");}
       RPRDF(x2,r);FLD(r,1)=x120;FLD(r,2)=x138;}
     }else{
      {OBJ x125;OBJ x126;OBJ x127;OBJ x138;
       x125=_ADArray_20(x119,x120);
       x126=_AImpExpEntry_92(x125);
       x127=_ADArray_20(x126,x121);
       if(ISTGPRD(x127,4)||ISTGPRD(x127,2)){
	{OBJ x131=FLD(x127,4);
	 if(EXPRD(x127,1)){
	  x138=x131;
	  DSPRD(x127);
	 }else{
	  x138=x131;
	  FRPRD(x127,1);}}
       }else{
	HLT("ImpExpEntry at <unknown> : undefined selection test\'ImpExpEntry:impDeclE->impDecl");}
       FRPRD(x2,1);PRDF(3,2,r);FLD(r,1)=x120;FLD(r,2)=x138;FLD(r,3)=x124;}}}
   }else{
    {OBJ x139;OBJ x140;OBJ x141;
     x139=_ADArray_20(x119,x120);
     x140=_AImpExpEntry_92(x139);
     x141=_ADArray_20(x140,x121);
     if(ISPRD(x2)&&(ISTGPRD(x2,5))){
      {OBJ x144=FLD(x2,3);
       if(EXPRD(x2,1)){
	{OBJ x155;
	 if(ISTGPRD(x141,4)||ISTGPRD(x141,2)){
	  {OBJ x148=FLD(x141,4);
	   if(EXPRD(x141,1)){
	    x155=x148;
	    DSPRD(x141);
	   }else{
	    x155=x148;
	    FRPRD(x141,1);}}
	 }else{
	  HLT("ImpExpEntry at <unknown> : undefined selection test\'ImpExpEntry:impDeclE->impDecl");}
	 RPRD(x2,r);FLD(r,1)=x120;FLD(r,2)=x155;}
       }else{
	COPY(x144,1);
	{OBJ x155;
	 if(ISTGPRD(x141,4)||ISTGPRD(x141,2)){
	  {OBJ x148=FLD(x141,4);
	   if(EXPRD(x141,1)){
	    x155=x148;
	    DSPRD(x141);
	   }else{
	    x155=x148;
	    FRPRD(x141,1);}}
	 }else{
	  HLT("ImpExpEntry at <unknown> : undefined selection test\'ImpExpEntry:impDeclE->impDecl");}
	 FRPRD(x2,1);PRD(3,5,r);FLD(r,1)=x120;FLD(r,2)=x155;FLD(r,3)=x144;}}}
     }else{
      HLT("AnalyzedGlobSig at <410,14-413,55> : missing else in test\'AnalyzedGlobSig:globSig**name->name");}}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_46(OBJ x1,OBJ x2) /* selectors */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  {OBJ x114=FLD(x2,1);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   {OBJ x115;OBJ x116;
    x115=_AGlobSig_56(x1);
    x116=_ADArray_20(x115,x114);
    if(ISTGPRD(x116,2)){
     {OBJ x123=FLD(x116,7);
      if(EXPRD(x116,1)){
       FLD(x116,7)=NIL;DSPRD(x116);
      }else{
       COPY(x123,1);
       FRPRD(x116,1);}
      CPPRD(__AName_26,1);
      r=_ASeqMap_3(__AName_26,x123);}
    }else{
     HLT("DeclEntry at <unknown> : undefined selection selS\'DeclEntry:declE->seq");}}}
 }else{
  COPY(x2,2);
  {OBJ x124;OBJ x125;OBJ x126;
   x124=_AGlobSig_55(x1);
   x125=_AName_12(x2);
   x126=_AName_11(x2);
   if(ISPRD(x2)&&(ISTGPRD(x2,2))){
    {OBJ x129=FLD(x2,3);
     if(EXPRD(x2,1)){
      DSPRDF(x2);
     }else{
      FRPRD(x2,1);}
     CPCLS(__AAnalyzedGlobSigH_12,1);
     {OBJ x130;OBJ x131;OBJ x132;OBJ x133;OBJ x144;
      x130=_ADArray_20(x124,x125);
      x131=_AImpExpEntry_92(x130);
      x132=_ADArray_20(x131,x126);
      x133=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_12,2))(__AAnalyzedGlobSigH_12,x125,x129);
      if(ISTGPRD(x132,4)||ISTGPRD(x132,2)){
       {OBJ x138=FLD(x132,5);
	if(EXPRD(x132,1)){
	 x144=x138;
	 FLD(x132,5)=NIL;DSPRD(x132);
	}else{
	 COPY(x138,1);
	 x144=x138;
	 FRPRD(x132,1);}}
      }else{
       HLT("ImpExpEntry at <unknown> : undefined selection selS\'ImpExpEntry:impDeclE->seq");}
      r=_ASeqMap_3(x133,x144);}}
   }else{
    {OBJ x145;OBJ x146;OBJ x147;
     x145=_ADArray_20(x124,x125);
     x146=_AImpExpEntry_92(x145);
     x147=_ADArray_20(x146,x126);
     if(ISPRD(x2)&&(ISTGPRD(x2,5))){
      {OBJ x150=FLD(x2,3);
       if(EXPRD(x2,1)){
	DSPRDF(x2);
       }else{
	COPY(x150,1);
	FRPRD(x2,1);}
       CPCLS(__AAnalyzedGlobSigH_13,1);
       {OBJ x151;OBJ x162;
	x151=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_13,2))(__AAnalyzedGlobSigH_13,x125,x150);
	if(ISTGPRD(x147,4)||ISTGPRD(x147,2)){
	 {OBJ x156=FLD(x147,5);
	  if(EXPRD(x147,1)){
	   x162=x156;
	   FLD(x147,5)=NIL;DSPRD(x147);
	  }else{
	   COPY(x156,1);
	   x162=x156;
	   FRPRD(x147,1);}}
	}else{
	 HLT("ImpExpEntry at <unknown> : undefined selection selS\'ImpExpEntry:impDeclE->seq");}
	r=_ASeqMap_3(x151,x162);}}
     }else{
      HLT("AnalyzedGlobSig at <422,14-423,68> : missing else in selectors\'AnalyzedGlobSig:globSig**name->seq");}}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_47(OBJ x1,OBJ x2) /* useOp */
{OBJ r;
 CPCLS(__AAttributes_6,1);
 CPCLS(__AAttributes_17,1);
 r=_AAnalyzedGlobSigH_14(__AAttributes_17,__AAttributes_6,x2,x1);
 return r;}

extern OBJ _AAnalyzedGlobSig_48(OBJ x1,OBJ x2) /* useConstr */
{OBJ r;
 {OBJ x4;OBJ x10;
  if(ISPRD(x2)&&(ISTGPRD(x2,1))){
   x4=__ABUILTIN_5;
  }else{
   x4=__ABUILTIN_3;}
  if(ISTGPRM(x4,1)){
   COPY(x1,1);
   COPY(x2,1);
   {OBJ x5;
    x5=_AAnalyzedGlobSig_44(x1,x2);
    if(ISTGPRM(x5,1)){
     COPY(x1,1);
     COPY(x2,2);
     CPCLS(__AAnalyzedGlobSig_118,1);
     CPCLS(__AAttributes_5,2);
     CPCLS(__AAttributes_18,2);
     {OBJ x6;OBJ x7;OBJ x8;OBJ x9;
      x6=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_118,1))(__AAnalyzedGlobSig_118,__ABUILTIN_20);
      x7=_AAnalyzedGlobSig_46(x1,x2);
      x8=_ASeqReduce_3(x6,x1,x7);
      COPY(x8,1);
      x9=_AAnalyzedGlobSig_45(x8,x2);
      x10=_AAnalyzedGlobSigH_14(__AAttributes_18,__AAttributes_5,x9,x8);}
    }else{
     CPCLS(__AAttributes_5,1);
     CPCLS(__AAttributes_18,1);
     x10=x1;}}
  }else{
   CPCLS(__AAttributes_5,1);
   CPCLS(__AAttributes_18,1);
   x10=x1;}
  r=_AAnalyzedGlobSigH_14(__AAttributes_18,__AAttributes_5,x2,x10);}
 return r;}

extern OBJ _AAnalyzedGlobSig_49(OBJ x1,OBJ x2) /* useGenerated */
{OBJ r;
 CPCLS(__AAttributes_4,1);
 CPCLS(__AAttributes_19,1);
 r=_AAnalyzedGlobSigH_14(__AAttributes_19,__AAttributes_4,x2,x1);
 return r;}

extern OBJ _AAnalyzedGlobSig_50(OBJ x1,OBJ x2) /* isUsedByUser */
{OBJ r;
 {OBJ x3;OBJ x4;
  x3=_AName4SigAna_25(x1,x2);
  CPPRD(x3,1);
  ABitset_21(__AAttributes_28,x3,x4);
  if(ISTGPRM(x4,1)){
   FRPRD(x3,1);
   r=__ABUILTIN_5;
  }else{
   {OBJ x5;
    ABitset_21(__AAttributes_29,x3,x5);
    if(ISTGPRM(x5,1)){
     r=__ABUILTIN_5;
    }else{
     r=__ABUILTIN_3;}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_51(OBJ x1,OBJ x2) /* isUsedByCompiler */
{OBJ r;
 FREE(x1,1);
 FREE(x2,1);
 r=__ABUILTIN_5;
 return r;}

extern OBJ _AAnalyzedGlobSig_52(OBJ x1,OBJ x2) /* isUsedForAc */
{OBJ r;
 {OBJ x3;OBJ x4;
  x3=_AName4SigAna_25(x1,x2);
  CPPRD(x3,1);
  ABitset_21(__AAttributes_28,x3,x4);
  if(ISTGPRM(x4,1)){
   FRPRD(x3,1);
   r=__ABUILTIN_5;
  }else{
   {OBJ x5;
    ABitset_21(__AAttributes_30,x3,x5);
    if(ISTGPRM(x5,1)){
     r=__ABUILTIN_5;
    }else{
     r=__ABUILTIN_3;}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_53(OBJ x1,OBJ x2) /* isUnusedFreeConstructor */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  COPY(x1,1);
  CPPRD(x2,1);
  {OBJ x9;
   x9=_AAnalyzedGlobSig_44(x1,x2);
   if(ISTGPRM(x9,1)){
    {OBJ x10;OBJ x11;
     x10=_AName4SigAna_25(x1,x2);
     ABitset_21(__AAttributes_28,x10,x11);
     if(ISTGPRM(x11,1)){
      r=__ABUILTIN_3;
     }else{
      r=__ABUILTIN_5;}}
   }else{
    FREE(x1,1);
    if(EXPRD(x2,1)){
     DSPRDF(x2);
    }else{
     DCPRD(x2,1);}
    r=__ABUILTIN_3;}}
 }else{
  FREE(x1,1);
  FREE(x2,1);
  r=__ABUILTIN_3;}
 return r;}

extern OBJ _AAnalyzedGlobSig_54(OBJ x1,OBJ x2) /* freeType */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  {OBJ x69=FLD(x2,1);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   COPY(x1,1);
   {OBJ x70;OBJ x71;OBJ x72;
    x70=_AGlobSig_56(x1);
    x71=_AName4SigAna_59(x1,x69);
    x72=_ADArray_20(x70,x71);
    if(ISTGPRD(x72,0)){
     {OBJ x77=FLD(x72,5);
      if(EXPRD(x72,1)){
       r=x77;
       FLD(x72,5)=NIL;DSPRD(x72);
      }else{
       COPY(x77,1);
       r=x77;
       FRPRD(x72,1);}}
    }else{
     HLT("DeclEntry at <unknown> : undefined selection type\'DeclEntry:declE->impl");}}}
 }else{
  if(ISPRD(x2)&&(ISTGPRD(x2,2))){
   {OBJ x80=FLD(x2,3);
    CPPRD(x2,1);
    {OBJ x81;OBJ x82;OBJ x83;OBJ x84;OBJ x85;OBJ x86;
     x81=_AName_11(x2);
     x82=_AName_12(x2);
     x83=_AGlobSig_55(x1);
     x84=_ADArray_20(x83,x82);
     x85=_AImpExpEntry_92(x84);
     x86=_ADArray_20(x85,x81);
     if(ISTGPRD(x86,0)){
      {OBJ x89=FLD(x86,3);
       if(EXPRD(x86,1)){
	FLD(x86,3)=NIL;DSPRD(x86);
       }else{
	COPY(x89,1);
	FRPRD(x86,1);}
       if(ISPRD(x89)&&(ISTGPRD(x89,3))){
	{OBJ x90=FLD(x89,1);
	 if(EXPRD(x89,1)){
	  CPCLS(__AAnalyzedGlobSig_92,1);
	  {OBJ x91;
	   x91=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_92,2))(__AAnalyzedGlobSig_92,x80,x82);
	   RPRD(x89,r);
	   FLD(r,1)=_AAbsyFun2_8(x91,x90);}
	 }else{
	  CPPRD(x90,1);
	  CPCLS(__AAnalyzedGlobSig_92,1);
	  {OBJ x91;
	   x91=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_92,2))(__AAnalyzedGlobSig_92,x80,x82);
	   FRPRD(x89,1);PRD(1,3,r);
	   FLD(r,1)=_AAbsyFun2_8(x91,x90);}}}
       }else{
	r=x89;}}
     }else{
      HLT("ImpExpEntry at <unknown> : undefined selection type\'ImpExpEntry:impDeclE->impl");}}}
  }else{
   FREE(x1,1);
   FREE(x2,1);
   r=__AGlobSigImpl_22;}}
 return r;}

extern OBJ _AAnalyzedGlobSig_55(OBJ x1,OBJ x2,OBJ x3) /* defFreeType */
{OBJ r;
 COPY(x1,1);
 {OBJ x6;
  x6=_AGlobSig_56(x1);
  if(ISPRD(x2)&&(ISTGPRD(x2,1))){
   {OBJ x4=FLD(x2,1);
    if(EXPRD(x2,1)){
     DSPRDF(x2);
    }else{
     FRPRD(x2,1);}
    COPY(x1,1);
    CPPRD(x6,1);
    {OBJ x5;OBJ x7;OBJ x8;OBJ x9;OBJ x10;OBJ x11;OBJ x12;OBJ x13;OBJ x14;
     x5=x4;
     x7=_AName4SigAna_59(x1,x5);
     x8=_ADArray_20(x6,x7);
     CPPRD(x8,3);
     x9=_ADeclEntry_14(x8);
     x10=_ADeclEntry_13(x8);
     x11=_ADeclEntry_12(x8);
     x12=_ADeclEntry_11(x8);
     PRD(5,0,x13);FLD(x13,1)=x9;FLD(x13,2)=x10;FLD(x13,3)=x11;FLD(x13,4)=x12;FLD(x13,5)=x3;
     x14=_ADArray_15(x6,x7,x13);
     r=_AGlobSig_80(x1,x14);}}
  }else{
   HLT("Name at <unknown> : undefined selection decl\'Name:name->decl");}}
 return r;}

extern OBJ _AAnalyzedGlobSig_56(OBJ x1,OBJ x2) /* impl */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,1))){
  {OBJ x20=FLD(x2,1);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   COPY(x1,1);
   {OBJ x21;OBJ x22;OBJ x23;
    x21=_AGlobSig_56(x1);
    x22=_AName4SigAna_59(x1,x20);
    x23=_ADArray_20(x21,x22);
    r=_ADeclEntry_11(x23);}}
 }else{
  COPY(x1,1);
  COPY(x2,1);
  {OBJ x24;
   x24=_AName4SigAna_4(x1,x2);
   if(ISTGPRM(x24,1)){
    COPY(x2,1);
    {OBJ x25;OBJ x26;OBJ x27;OBJ x28;OBJ x29;OBJ x30;
     x25=_AGlobSig_55(x1);
     x26=_AName_12(x2);
     x27=_AName_11(x2);
     x28=_ADArray_20(x25,x26);
     x29=_AImpExpEntry_92(x28);
     x30=_ADArray_20(x29,x27);
     if(ISTGPRD(x30,0)){
      {OBJ x33=FLD(x30,3);
       if(EXPRD(x30,1)){
	r=x33;
	FLD(x30,3)=NIL;DSPRD(x30);
       }else{
	COPY(x33,1);
	r=x33;
	FRPRD(x30,1);}}
     }else{
      HLT("ImpExpEntry at <unknown> : undefined selection type\'ImpExpEntry:impDeclE->impl");}}
   }else{
    FREE(x1,1);
    FREE(x2,1);
    r=__AGlobSigImpl_22;}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_57(OBJ x1,OBJ x2,OBJ x3) /* defImpl */
{OBJ r;
 COPY(x1,1);
 {OBJ x6;
  x6=_AGlobSig_56(x1);
  if(ISPRD(x2)&&(ISTGPRD(x2,1))){
   {OBJ x4=FLD(x2,1);
    if(EXPRD(x2,1)){
     DSPRDF(x2);
    }else{
     FRPRD(x2,1);}
    COPY(x1,1);
    CPPRD(x6,1);
    {OBJ x5;OBJ x7;OBJ x8;
     x5=x4;
     x7=_AName4SigAna_59(x1,x5);
     x8=_ADArray_20(x6,x7);
     if(ISTGPRD(x8,0)){
      {OBJ x144=FLD(x8,5);
       COPY(x144,1);
       CPPRD(x8,2);
       {OBJ x150;OBJ x151;OBJ x152;OBJ x153;OBJ x154;
	x150=_ADeclEntry_14(x8);
	x151=_ADeclEntry_13(x8);
	x152=_ADeclEntry_12(x8);
	PRD(5,0,x153);FLD(x153,1)=x150;FLD(x153,2)=x151;FLD(x153,3)=x152;FLD(x153,4)=x3;FLD(x153,5)=x144;
	x154=_ADArray_15(x6,x7,x153);
	r=_AGlobSig_80(x1,x154);}}
     }else{
      {OBJ x176;OBJ x177;
       switch(TGPRD(x8)){
	case 2:
	 {OBJ x168=FLD(x8,5);OBJ x169=FLD(x8,6);OBJ x170=FLD(x8,7);
	  COPY(x168,1);COPY(x170,1);
	  CPPRD(x8,2);
	  {OBJ x171;OBJ x172;OBJ x173;
	   x171=_ADeclEntry_12(x8);
	   x172=_ADeclEntry_13(x8);
	   x173=_ADeclEntry_14(x8);
	   PRD(7,2,x176);FLD(x176,1)=x173;FLD(x176,2)=x172;FLD(x176,3)=x171;FLD(x176,4)=x3;FLD(x176,5)=x168;FLD(x176,6)=x169;FLD(x176,7)=x170;}}break;
	case 3:
	 HLT("AnalyzedGlobSig at <518,14-525,66> : missing else in defImpl\'AnalyzedGlobSig:globSig**name**impl->globSig");break;
	default: 
	 {OBJ x159=FLD(x8,5);OBJ x160=FLD(x8,6);
	  COPY(x159,1);COPY(x160,1);
	  CPPRD(x8,2);
	  {OBJ x161;OBJ x162;OBJ x163;
	   x161=_ADeclEntry_14(x8);
	   x162=_ADeclEntry_13(x8);
	   x163=_ADeclEntry_12(x8);
	   PRD(6,1,x176);FLD(x176,1)=x161;FLD(x176,2)=x162;FLD(x176,3)=x163;FLD(x176,4)=x3;FLD(x176,5)=x159;FLD(x176,6)=x160;}}}
       x177=_ADArray_15(x6,x7,x176);
       r=_AGlobSig_80(x1,x177);}}}}
  }else{
   HLT("Name at <unknown> : undefined selection decl\'Name:name->decl");}}
 return r;}

extern TUP2 _AAnalyzedGlobSig_58(OBJ x1,OBJ x2) /* law */
{TUP2 r;
 if(ISPRD(x1)&&(ISTGPRD(x1,2))){
  {OBJ x14=FLD(x1,12);
   if(EXPRD(x1,1)){
    FLD(x1,12)=NIL;DSPRD(x1);
   }else{
    COPY(x14,1);
    FRPRD(x1,1);}
   CPCLS(__ARep_27,1);
   {OBJ x17;OBJ x18;OBJ x20;
    x17=x14;
    x18=_AMap_33(__ARep_27,x17,x2);
    if(ISPRM(x18)){
     HLT("Option at <unknown> : undefined selection cont\'Option:option->data");
    }else{
     {OBJ x19=FLD1(x18,1);
      if(EXPRD(x18,1)){
       x20=x19;
       DSPRDF(x18);
      }else{
       CPPRD(x19,1);
       x20=x19;
       FRPRD(x18,1);}}}
    r=_APair_8(x20);}}
 }else{
  HLT("GlobSig at <unknown> : undefined selection laws\'GlobSig:globSig->map");}
 return r;}
extern OBJ _AAnalyzedGlobSig_58_c(OBJ x1,OBJ x2) /* law */
{OBJ r;
 {TUP2 t=_AAnalyzedGlobSig_58(x1,x2);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern TUP2 _AAnalyzedGlobSig_59(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* defLaw */
{TUP2 r;
 if(ISPRD(x1)&&(ISTGPRD(x1,2))){
  {OBJ x16=FLD(x1,12);
   COPY(x16,1);
   CPPRD(x2,1);
   CPCLS(__ARep_27,1);
   {OBJ x19;OBJ x20;
    x19=x16;
    COPY(x19,1);
    x20=_AMap_33(__ARep_27,x19,x2);
    if(ISPRM(x20)){
     CPCLS(__ARep_27,1);
     {OBJ x28;OBJ x29;
      PRD1(2,x28);FLD1(x28,1)=x3;FLD1(x28,2)=x4;
      x29=_AMap_31(__ARep_27,x2,x28,x19);
      r.c1=_AGlobSig_86(x1,x29);
      r.c2=__ABUILTIN_5;}
    }else{
     if(EXPRD(x20,1)){
      FRPRD(FLD1(x20,1),1);DSPRDF(x20);
     }else{
      DCPRD(x20,1);}
     FRPRD(x2,1);
     FRPRD(x3,1);
     FRPRD(x4,1);
     FREE(x19,1);
     r.c1=x1;r.c2=__ABUILTIN_3;}}}
 }else{
  HLT("GlobSig at <unknown> : undefined selection laws\'GlobSig:globSig->map");}
 return r;}
extern OBJ _AAnalyzedGlobSig_59_c(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* defLaw */
{OBJ r;
 {TUP2 t=_AAnalyzedGlobSig_59(x1,x2,x3,x4);
  PRD1(2,r);
  FLD1(r,1)=t.c1;
  FLD1(r,2)=t.c2;}
 return r;}

extern OBJ _AAnalyzedGlobSig_60(OBJ x1,OBJ x2) /* treatInternalName */
{OBJ r;
 CPCLS(__AAnalyzedGlobSig_95,1);
 COPY(x2,1);
 {OBJ x3;
  x3=_AGlobSig_56(x2);
  r=_APoly4SigAna_3(__AAnalyzedGlobSig_95,x1,x2,x3);}
 return r;}

extern OBJ _AAnalyzedGlobSig_61(OBJ x1,OBJ x2) /* treatImportedStruct */
{OBJ r;
 CPCLS(__AAnalyzedGlobSig_96,1);
 COPY(x2,1);
 {OBJ x3;
  x3=_AGlobSig_55(x2);
  r=_APoly4SigAna_3(__AAnalyzedGlobSig_96,x1,x2,x3);}
 return r;}

extern OBJ _AAnalyzedGlobSig_62(OBJ x1,OBJ x2,OBJ x3) /* treatExternalNames */
{OBJ r;
 CPCLS(__AAnalyzedGlobSig_97,1);
 COPY(x3,1);
 {OBJ x4;OBJ x5;OBJ x6;OBJ x7;
  x4=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_97,1))(__AAnalyzedGlobSig_97,x1);
  x5=_AGlobSig_55(x3);
  x6=_ADArray_20(x5,x1);
  x7=_AImpExpEntry_92(x6);
  r=_APoly4SigAna_3(x4,x2,x3,x7);}
 return r;}

extern OBJ _AAnalyzedGlobSig_63(OBJ x1,OBJ x2,OBJ x3) /* treatInstance */
{OBJ r;
 COPY(x3,1);
 {OBJ x4;
  x4=_AImpDecl4SigAna_50(x3,x1);
  if(ISTGPRM(x4,1)){
   r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(x2,2))(x2,__AObjects_30,x3);
  }else{
   COPY(x3,1);
   CPCLS(__AAnalyzedGlobSig_100,1);
   {OBJ x5;OBJ x6;OBJ x7;
    x5=_AGlobSig_55(x3);
    x6=_ADArray_20(x5,x1);
    x7=_AImpExpEntry_91(x6);
    r=_APoly4SigAna_3(__AAnalyzedGlobSig_100,x2,x3,x7);}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_64(OBJ x1) /* freeInternal */
{OBJ r;
 FREE(x1,1);
 r=inline_c_nat((NAT)(5000));
 return r;}

extern OBJ _AAnalyzedGlobSig_65(OBJ x1,OBJ x2) /* parameter? */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,4))){
  if(EXPRD(x2,1)){
   DSPRDF(x2);
  }else{
   DCPRD(x2,1);}
  FREE(x1,1);
  r=__ABUILTIN_5;
 }else{
  if(ISPRD(x2)&&(ISTGPRD(x2,1))){
   {OBJ x16;
    x16=_AAnalyzedGlobSig_56(x1,x2);
    if(ISPRM(x16)&&(ISTGPRM(x16,1))){
     r=__ABUILTIN_5;
    }else{
     FREE(x16,1);
     r=__ABUILTIN_3;}}
  }else{
   FREE(x1,1);
   FREE(x2,1);
   r=__ABUILTIN_3;}}
 return r;}

extern OBJ _AAnalyzedGlobSig_66(OBJ x1,OBJ x2) /* paramNo */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,4))){
  {OBJ x26=FLD(x2,3);
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    FRPRD(x2,1);}
   FREE(x1,1);
   ANat_4(x26,r);}
 }else{
  COPY(x1,1);
  {OBJ x27;
   x27=_AAnalyzedGlobSigH_3(x1);
   if(ISPRM(x27)){
    CPPRD(__AAnalyzedGlobSig_119,1);
    {OBJ x28;OBJ x29;
     x28=_AAnalyzedGlobSigH_9(x1,__AAnalyzedGlobSig_23,x2);
     ADenotation_4(__AAnalyzedGlobSig_119,x28,x29);
     ABUILTIN_12(x29,r);}
   }else{
    CPCLS(__AAnalyzedGlobSig_104,1);
    {OBJ x32;
     x32=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_104,2))(__AAnalyzedGlobSig_104,x1,x2);
     r=_AMySeqFun1_19(x32,x27);}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_67(OBJ x1,OBJ x2) /* formParamKinds */
{OBJ r;
 {OBJ x3;OBJ x4;
  x3=_AGlobSig_55(x1);
  x4=_ADArray_20(x3,x2);
  if(ISTGPRD(x4,2)||ISTGPRD(x4,1)){
   if(EXPRD(x4,1)){
    DSPRD(x4);
   }else{
    DCPRD(x4,1);}
   r=__ASeq_6;
  }else{
   {OBJ x61;
    switch(TGPRD(x4)){
     case 0:
      HLT("ImpExpEntry at <unknown> : undefined selection formParamS\'ImpExpEntry:structE->pair");break;
     default: 
      {OBJ x53=FLD(x4,4);
       if(EXPRD(x4,1)){
	x61=x53;
	FLD(x4,4)=NIL;DSPRD(x4);
       }else{
	CPPRD(x53,1);
	x61=x53;
	FRPRD(x4,1);}}}
    {OBJ x63=FLD1(x61,2);
     if(EXPRD(x61,1)){
      r=x63;
      FREE(FLD1(x61,1),1);DSPRDF(x61);
     }else{
      COPY(x63,1);
      r=x63;
      FRPRD(x61,1);}}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_68(OBJ x1) /* pragmas */
{OBJ r;
 r=_AGlobSig_46(x1);
 return r;}

extern OBJ _AAnalyzedGlobSig_69(OBJ x1,OBJ x2) /* updPragmas */
{OBJ r;
 r=_AGlobSig_89(x1,x2);
 return r;}

extern OBJ _AAnalyzedGlobSig_70(OBJ x1,OBJ x2) /* theory? */
{OBJ r;
 CPCLS(__ARep_27,1);
 CPPRD(x2,1);
 {OBJ x3;OBJ x4;OBJ x5;
  x3=_AGlobSig_51(x1);
  COPY(x3,1);
  x4=_AMap_20(__ARep_27,x2,x3);
  if(ISTGPRM(x4,1)){
   CPCLS(__AAnalyzedGlobSig_120,1);
   CPCLS(__ARep_27,1);
   x5=_AMap_16(__ARep_27,x3,x2);
  }else{
   FRPRD(x2,1);
   FREE(x3,1);
   CPCLS(__AAnalyzedGlobSig_120,1);
   x5=__ASeq_6;}
  r=_ASeq_40(__AAnalyzedGlobSig_120,x5);}
 return r;}

extern OBJ _AAnalyzedGlobSig_71(OBJ x1) /* level */
{OBJ r;
 r=x1;
 return r;}

extern OBJ _AAnalyzedGlobSig_72(OBJ x1) /* level? */
{OBJ r;
 r=__ABUILTIN_5;
 return r;}

extern OBJ _AAnalyzedGlobSig_75(OBJ x1) /* `` */
{OBJ r;
 CPPRD(__AAnalyzedGlobSig_105,1);
 {OBJ x2;
  x2=_AName_34(x1);
  ADenotation_4(__AAnalyzedGlobSig_105,x2,r);}
 return r;}

extern OBJ _AAnalyzedGlobSig_76(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* eqFct1 */
{OBJ r;
 CPPRD(__AAnalyzedGlobSig_115,1);
 COPY(x1,1);
 COPY(x3,1);
 {OBJ x5;OBJ x6;
  x5=_AAnalyzedGlobSigH_1(x1,x3);
  x6=_AAnalyzedGlobSig_77(x1,x5,x2,__AAnalyzedGlobSig_115);
  {OBJ x14=FLD1(x6,1);OBJ x15=FLD1(x6,2);FLAG x_x6=EXPRD(x6,1);
   if(x_x6){
   }else{
    CPPRD(x14,1);}
   if(ISTGPRM(x15,1)){
    {
     if(x_x6){
      RSOME(x6,r);FLD1(r,2)=x4;
     }else{
      FRPRD(x6,1);PRD1(2,r);FLD1(r,2)=x4;}
     FLD1(r,1)=_AAnalyzedGlobSig_78(x14,x3);}
   }else{
    if(x_x6){
     DSPRDF(x6);
    }else{
     FRPRD(x6,1);}
    FREE(x3,1);
    FRPRD(x14,1);
    r=x4;}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_77(register OBJ x1,register OBJ x2,register OBJ x3,register OBJ x4) /* fctInsts */
{OBJ r;
 for(;;){
  if(ISPRM(x2)){
   FREE(x1,1);
   if(ISPRM(x3)){
    {OBJ x847=FLD1(x4,2);
     r=x4;}
   }else{
    FREE(x3,1);
    {OBJ x849=FLD1(x4,2);
     if(ISTGPRM(x849,1)){
      if(EXPRD(x4,1)){
       FRPRD(FLD1(x4,1),1);DSPRDF(x4);
      }else{
       DCPRD(x4,1);}
      CPPRD(__AAnalyzedGlobSig_114,1);
      r=__AAnalyzedGlobSig_114;
     }else{
      r=x4;}}}
  }else{
   switch(TGPRD(x2)){
    case 3:
     {OBJ x832=FLD(x2,1);
      if(EXPRD(x2,1)){
       DSPRDF(x2);
      }else{
       FRPRD(x2,1);}
      FREE(x1,1);
      if(ISPRD(x3)&&(ISTGPRD(x3,3))){
       {OBJ x833=FLD(x3,1);
	if(EXPRD(x3,1)){
	 DSPRDF(x3);
	}else{
	 FRPRD(x3,1);}
	{OBJ x834=FLD1(x4,1);OBJ x835=FLD1(x4,2);
	 CPPRD(x834,1);
	 if(ISTGPRM(x835,1)){
	  if(EXPRD(x4,1)){
	   FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	  }else{
	   DCPRD(x4,1);}
	  {
	   PRD1(2,r);FLD1(r,1)=x834;
	   ANat_76(x832,x833,FLD1(r,2));}
	 }else{
	  FRPRD(x834,1);
	  r=x4;}}}
      }else{
       FREE(x3,1);
       {OBJ x838=FLD1(x4,2);
	if(ISTGPRM(x838,1)){
	 if(EXPRD(x4,1)){
	  FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	 }else{
	  DCPRD(x4,1);}
	 CPPRD(__AAnalyzedGlobSig_114,1);
	 r=__AAnalyzedGlobSig_114;
	}else{
	 r=x4;}}}}break;
    case 4:
     {OBJ x839=FLD(x2,1);
      if(EXPRD(x2,1)){
       DSPRDF(x2);
      }else{
       FRPRD(x2,1);}
      FREE(x1,1);
      if(ISPRD(x3)&&(ISTGPRD(x3,4))){
       {OBJ x840=FLD(x3,1);
	if(EXPRD(x3,1)){
	 DSPRDF(x3);
	}else{
	 FRPRD(x3,1);}
	{OBJ x841=FLD1(x4,1);OBJ x842=FLD1(x4,2);
	 CPPRD(x841,1);
	 if(ISTGPRM(x842,1)){
	  if(EXPRD(x4,1)){
	   FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	  }else{
	   DCPRD(x4,1);}
	  {
	   PRD1(2,r);FLD1(r,1)=x841;
	   ANat_76(x839,x840,FLD1(r,2));}
	 }else{
	  FRPRD(x841,1);
	  r=x4;}}}
      }else{
       FREE(x3,1);
       {OBJ x845=FLD1(x4,2);
	if(ISTGPRM(x845,1)){
	 if(EXPRD(x4,1)){
	  FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	 }else{
	  DCPRD(x4,1);}
	 CPPRD(__AAnalyzedGlobSig_114,1);
	 r=__AAnalyzedGlobSig_114;
	}else{
	 r=x4;}}}}break;
    case 2:
     {OBJ x850=FLD(x2,1);OBJ x851=FLD(x2,2);
      if(EXPRD(x2,1)){
       DSPRDF(x2);
      }else{
       COPY(x850,1);COPY(x851,1);
       FRPRD(x2,1);}
      if(ISPRD(x3)&&(ISTGPRD(x3,2))){
       {OBJ x852=FLD(x3,1);OBJ x853=FLD(x3,2);
	if(EXPRD(x3,1)){
	 DSPRDF(x3);
	}else{
	 COPY(x852,1);COPY(x853,1);
	 FRPRD(x3,1);}
	{OBJ x855=FLD1(x4,2);
	 if(ISTGPRM(x855,1)){
	  COPY(x1,1);
	  {OBJ x856;
	   x856=_AAnalyzedGlobSig_77(x1,x851,x853,x4);
	   x2=x850;x3=x852;x4=x856;continue;}
	 }else{
	  FREE(x1,1);
	  FREE(x850,1);
	  FREE(x851,1);
	  FREE(x852,1);
	  FREE(x853,1);
	  r=x4;}}}
      }else{
       FREE(x1,1);
       FREE(x3,1);
       FREE(x850,1);
       FREE(x851,1);
       {OBJ x858=FLD1(x4,2);
	if(ISTGPRM(x858,1)){
	 if(EXPRD(x4,1)){
	  FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	 }else{
	  DCPRD(x4,1);}
	 CPPRD(__AAnalyzedGlobSig_114,1);
	 r=__AAnalyzedGlobSig_114;
	}else{
	 r=x4;}}}}break;
    case 0:
     {OBJ x859=FLD(x2,1);FLAG x_x2=EXPRD(x2,1);
      if(x_x2){
      }else{
       COPY(x859,1);}
      if(ISPRD(x3)&&(ISTGPRD(x3,0))){
       {OBJ x860=FLD(x3,1);FLAG x_x3=EXPRD(x3,1);
	if(x_x3){
	}else{
	 COPY(x860,1);}
	{OBJ x861=FLD1(x4,1);OBJ x862=FLD1(x4,2);
	 CPPRD(x861,1);
	 if(ISTGPRM(x862,1)){
	  COPY(x1,1);
	  COPY(x859,1);
	  COPY(x860,1);
	  {OBJ x863;
	   x863=_AAnalyzedGlobSigH_8(x1,x859,x860);
	   if(ISTGPRM(x863,1)){
	    if(ISPRD(x859)&&(ISTGPRD(x859,6))){
	     {OBJ x864=FLD(x859,1);
	      if(EXPRD(x859,1)){
	       if(x_x2){
		DSPRDF(x2);
	       }else{
		FRPRD(x2,1);}
	       if(x_x3){
		DSPRDF(x3);
	       }else{
		FRPRD(x3,1);}
	       DSPRDF(x859);
	      }else{
	       if(x_x2){
		DSPRDF(x2);
	       }else{
		FRPRD(x2,1);}
	       if(x_x3){
		DSPRDF(x3);
	       }else{
		FRPRD(x3,1);}
	       FRPRD(x859,1);}
	      if(EXPRD(x4,1)){
	       FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	      }else{
	       DCPRD(x4,1);}
	      CPPRD(x861,1);
	      {OBJ x865;
	       x865=_ANatMap_17(x864,x861);
	       if(ISTGPRM(x865,1)){
		CPPRD(x861,1);
		{OBJ x866;
		 x866=_ANatMap_14(x861,x864);
		 PRD1(2,r);FLD1(r,1)=x861;
		 FLD1(r,2)=_AAnalyzedGlobSigH_8(x1,x866,x860);}
	       }else{
		FREE(x1,1);
		{
		 PRD1(2,r);FLD1(r,2)=__ABUILTIN_5;
		 FLD1(r,1)=_ANatMap_4(x864,x860,x861);}}}}
	    }else{
	     if(ISPRD(x859)&&(ISTGPRD(x859,5))){
	      {OBJ x871=FLD(x859,3);
	       if(EXPRD(x859,1)){
		DSPRDF(x859);
	       }else{
		COPY(x871,1);
		FRPRD(x859,1);}
	       FRPRD(x861,1);
	       {OBJ x875;OBJ x880;OBJ x876;OBJ x881;OBJ x882;OBJ x883;
		if(ISPRD(x860)&&(ISTGPRD(x860,5))){
		 x875=__ABUILTIN_5;
		}else{
		 x875=__ABUILTIN_3;}
		if(ISTGPRM(x875,1)){
		 if(ISPRD(x860)&&(ISTGPRD(x860,5))){
		  {OBJ x879=FLD(x860,3);
		   if(EXPRD(x860,1)){
		    x880=x879;
		    DSPRDF(x860);
		   }else{
		    COPY(x879,1);
		    x880=x879;
		    FRPRD(x860,1);}
		   CPPRD(__AFct_17,2);}
		 }else{
		  HLT("Name at <unknown> : undefined selection insts\'Name:name->seq");}
		}else{
		 COPY(x1,1);
		 CPPRD(__AFct_17,2);
		 x880=_AName4SigAna_22(x1,x860);}
		x876=_ASeqMap_3(__AFct_17,x871);
		if(x_x3){
		 RPRD(x3,x881);CHGTG(x881,1);FLD(x881,1)=x876;
		}else{
		 FRPRD(x3,1);PRD(1,1,x881);FLD(x881,1)=x876;}
		x882=_ASeqMap_3(__AFct_17,x880);
		if(x_x2){
		 RPRD(x2,x883);CHGTG(x883,1);FLD(x883,1)=x882;
		}else{
		 FRPRD(x2,1);PRD(1,1,x883);FLD(x883,1)=x882;}
		x2=x881;x3=x883;continue;}}
	     }else{
	      if(x_x2){
	       DSPRDF(x2);
	      }else{
	       FRPRD(x2,1);}
	      if(x_x3){
	       DSPRDF(x3);
	      }else{
	       FRPRD(x3,1);}
	      FREE(x1,1);
	      FREE(x859,1);
	      FREE(x860,1);
	      FRPRD(x861,1);
	      r=x4;}}
	   }else{
	    if(x_x2){
	     DSPRDF(x2);
	    }else{
	     FRPRD(x2,1);}
	    if(x_x3){
	     DSPRDF(x3);
	    }else{
	     FRPRD(x3,1);}
	    FREE(x1,1);
	    if(EXPRD(x4,1)){
	     FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	    }else{
	     DCPRD(x4,1);}
	    FREE(x859,1);
	    FREE(x860,1);
	    FRPRD(x861,1);
	    CPPRD(__AAnalyzedGlobSig_114,1);
	    r=__AAnalyzedGlobSig_114;}}
	 }else{
	  if(x_x2){
	   DSPRDF(x2);
	  }else{
	   FRPRD(x2,1);}
	  if(x_x3){
	   DSPRDF(x3);
	  }else{
	   FRPRD(x3,1);}
	  FREE(x1,1);
	  FREE(x859,1);
	  FREE(x860,1);
	  FRPRD(x861,1);
	  r=x4;}}}
      }else{
       if(x_x2){
	DSPRDF(x2);
       }else{
	FRPRD(x2,1);}
       FREE(x1,1);
       FREE(x3,1);
       FREE(x859,1);
       {OBJ x885=FLD1(x4,2);
	if(ISTGPRM(x885,1)){
	 if(EXPRD(x4,1)){
	  FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	 }else{
	  DCPRD(x4,1);}
	 CPPRD(__AAnalyzedGlobSig_114,1);
	 r=__AAnalyzedGlobSig_114;
	}else{
	 r=x4;}}}}break;
    default: 
     {OBJ x806=FLD(x2,1);FLAG x_x2=EXPRD(x2,1);
      if(x_x2){
      }else{
       COPY(x806,1);}
      if(ISPRM(x806)){
       if(x_x2){
	DSPRDF(x2);
       }else{
	FRPRD(x2,1);}
       FREE(x1,1);
       if(ISPRD(x3)&&(ISTGPRD(x3,1))){
	{OBJ x807=FLD(x3,1);
	 if(EXPRD(x3,1)){
	  DSPRDF(x3);
	 }else{
	  COPY(x807,1);
	  FRPRD(x3,1);}
	 if(ISPRM(x807)){
	  {OBJ x809=FLD1(x4,2);
	   r=x4;}
	 }else{
	  if(EXPRD(x807,1)){
	   DSPRD(x807);
	  }else{
	   DCPRD(x807,1);}
	  {OBJ x813=FLD1(x4,2);
	   if(ISTGPRM(x813,1)){
	    if(EXPRD(x4,1)){
	     FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	    }else{
	     DCPRD(x4,1);}
	    CPPRD(__AAnalyzedGlobSig_114,1);
	    r=__AAnalyzedGlobSig_114;
	   }else{
	    r=x4;}}}}
       }else{
	FREE(x3,1);
	{OBJ x815=FLD1(x4,2);
	 if(ISTGPRM(x815,1)){
	  if(EXPRD(x4,1)){
	   FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	  }else{
	   DCPRD(x4,1);}
	  CPPRD(__AAnalyzedGlobSig_114,1);
	  r=__AAnalyzedGlobSig_114;
	 }else{
	  r=x4;}}}
      }else{
       {OBJ x816=FLD1(x806,1);OBJ x817=FLD1(x806,2);
	if(EXPRD(x806,1)){
	 DSPRDF(x806);
	}else{
	 COPY(x816,1);COPY(x817,1);
	 FRPRD(x806,1);}
	if(ISPRD(x3)&&(ISTGPRD(x3,1))){
	 {OBJ x818=FLD(x3,1);FLAG x_x3=EXPRD(x3,1);
	  if(x_x3){
	  }else{
	   COPY(x818,1);}
	  if(ISPRM(x818)){
	   if(x_x2){
	    DSPRDF(x2);
	   }else{
	    FRPRD(x2,1);}
	   if(x_x3){
	    DSPRDF(x3);
	   }else{
	    FRPRD(x3,1);}
	   FREE(x1,1);
	   FREE(x816,1);
	   FREE(x817,1);
	   {OBJ x829=FLD1(x4,2);
	    if(ISTGPRM(x829,1)){
	     if(EXPRD(x4,1)){
	      FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	     }else{
	      DCPRD(x4,1);}
	     CPPRD(__AAnalyzedGlobSig_114,1);
	     r=__AAnalyzedGlobSig_114;
	    }else{
	     r=x4;}}
	  }else{
	   {OBJ x819=FLD1(x818,1);OBJ x820=FLD1(x818,2);
	    if(EXPRD(x818,1)){
	     DSPRDF(x818);
	    }else{
	     COPY(x819,1);COPY(x820,1);
	     FRPRD(x818,1);}
	    {OBJ x822=FLD1(x4,2);
	     if(ISTGPRM(x822,1)){
	      COPY(x1,1);
	      {OBJ x826;OBJ x827;OBJ x825;
	       if(x_x3){
		RPRD(x3,x826);FLD(x826,1)=x820;
	       }else{
		FRPRD(x3,1);PRD(1,1,x826);FLD(x826,1)=x820;}
	       if(x_x2){
		RPRD(x2,x827);FLD(x827,1)=x817;
	       }else{
		FRPRD(x2,1);PRD(1,1,x827);FLD(x827,1)=x817;}
	       x825=_AAnalyzedGlobSig_77(x1,x816,x819,x4);
	       x2=x827;x3=x826;x4=x825;continue;}
	     }else{
	      if(x_x2){
	       DSPRDF(x2);
	      }else{
	       FRPRD(x2,1);}
	      if(x_x3){
	       DSPRDF(x3);
	      }else{
	       FRPRD(x3,1);}
	      FREE(x1,1);
	      FREE(x816,1);
	      FREE(x817,1);
	      FREE(x819,1);
	      FREE(x820,1);
	      r=x4;}}}}}
	}else{
	 if(x_x2){
	  DSPRDF(x2);
	 }else{
	  FRPRD(x2,1);}
	 FREE(x1,1);
	 FREE(x3,1);
	 FREE(x816,1);
	 FREE(x817,1);
	 {OBJ x831=FLD1(x4,2);
	  if(ISTGPRM(x831,1)){
	   if(EXPRD(x4,1)){
	    FRPRD(FLD1(x4,1),1);DSPRDF(x4);
	   }else{
	    DCPRD(x4,1);}
	   CPPRD(__AAnalyzedGlobSig_114,1);
	   r=__AAnalyzedGlobSig_114;
	  }else{
	   r=x4;}}}}}}}}
  break;}
 return r;}

extern OBJ _AAnalyzedGlobSig_78(OBJ x1,OBJ x2) /* varSubst */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,5))){
  {OBJ x24=FLD(x2,3);
   COPY(x24,1);
   CPPRD(x2,1);
   CPCLS(__AAnalyzedGlobSig_78,1);
   {OBJ x26;OBJ x27;OBJ x25;
    x26=_AName_11(x2);
    x27=_AName_12(x2);
    x25=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_78,1))(__AAnalyzedGlobSig_78,x1);
    PRD(3,5,r);FLD(r,1)=x27;FLD(r,2)=x26;
    FLD(r,3)=_ASeqMap_3(x25,x24);}}
 }else{
  if(ISPRD(x2)&&(ISTGPRD(x2,6))){
   {OBJ x29=FLD(x2,1);
    CPPRD(x1,1);
    {OBJ x30;
     x30=_ANatMap_17(x29,x1);
     if(ISTGPRM(x30,1)){
      if(EXPRD(x2,1)){
       DSPRDF(x2);
      }else{
       DCPRD(x2,1);}
      r=_ANatMap_14(x1,x29);
     }else{
      FRPRD(x1,1);
      r=x2;}}}
  }else{
   FRPRD(x1,1);
   r=x2;}}
 return r;}

extern OBJ _AAnalyzedGlobSig_79(OBJ x1,OBJ x2,OBJ x3) /* eqFct2 */
{OBJ r;
 CPCLS(__AAnalyzedGlobSigH_8,1);
 COPY(x1,1);
 {OBJ x4;OBJ x5;
  x4=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_8,1))(__AAnalyzedGlobSigH_8,x1);
  x5=_ADecl4SigAna_11(x1,x3);
  r=_AAbsyFun2_6(x4,x2,x5);}
 return r;}

extern OBJ _AAnalyzedGlobSig_80(OBJ x1,OBJ x2,OBJ x3) /* checkGenericInst */
{OBJ r;
 {OBJ x7;OBJ x4;OBJ x61;
  if(ISPRM(x3)){
   COPY(x1,1);
   CPCLS(__AAnalyzedGlobSig_83,1);
   x7=__ABUILTIN_5;
  }else{
   COPY(x1,1);
   CPPRD(x3,1);
   CPCLS(__AAnalyzedGlobSig_83,1);
   x7=__ABUILTIN_3;}
  x4=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_83,2))(__AAnalyzedGlobSig_83,x1,x3);
  if(ISTGPRM(x7,1)){
   FREE(x1,1);
   FREE(x2,1);
   x61=x3;
  }else{
   {OBJ x10;
    if(ISPRM(x3)){
     HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
    }else{
     {OBJ x8=FLD1(x3,1);
      COPY(x8,1);
      x10=x8;}}
    if(ISPRD(x10)&&(ISTGPRD(x10,1))){
     if(EXPRD(x10,1)){
      DSPRDF(x10);
     }else{
      DCPRD(x10,1);}
     FREE(x1,1);
     FREE(x2,1);
     x61=x3;
    }else{
     COPY(x1,1);
     {OBJ x44;OBJ x45;
      x44=_AName_12(x10);
      x45=_AImpDecl4SigAna_50(x1,x44);
      if(ISTGPRM(x45,1)){
       FREE(x1,1);
       FREE(x2,1);
       x61=x3;
      }else{
       {OBJ x49;OBJ x46;OBJ x51;OBJ x52;OBJ x53;
	if(ISPRM(x2)){
	 CPCLS(__AAnalyzedGlobSig_81,1);
	 CPCLS(__AAnalyzedGlobSig_87,1);
	 x49=__ABUILTIN_5;
	}else{
	 CPCLS(__AAnalyzedGlobSig_81,1);
	 CPCLS(__AAnalyzedGlobSig_87,1);
	 x49=__ABUILTIN_3;}
	x46=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_87,1))(__AAnalyzedGlobSig_87,x1);
	{TUP2 t=_ASeqFilter_5(x46,x3);
	 x51=t.c1;
	 x52=t.c2;}
	COPY(x51,1);
	x53=_AMySeqFun1_13(__AAnalyzedGlobSig_81,x51);
	if(ISTGPRM(x49,1)){
	 FREE(x2,1);
	 if(ISPRM(x51)){
	  x61=x52;
	  FREE(x53,1);
	 }else{
	  x61=x53;
	  if(EXPRD(x51,1)){
	   DSPRD(x51);
	  }else{
	   DCPRD(x51,1);}
	  FREE(x52,1);}
	}else{
	 if(ISPRM(x52)){
	  if(ISPRM(x51)){
	   x61=x52;
	   FREE(x2,1);
	   FREE(x53,1);
	  }else{
	   if(EXPRD(x51,1)){
	    DSPRD(x51);
	   }else{
	    DCPRD(x51,1);}
	   CPCLS(__AAnalyzedGlobSig_82,1);
	   {OBJ x60;
	    x60=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_82,1))(__AAnalyzedGlobSig_82,x2);
	    x61=_ASeqMap_3(x60,x53);}}
	 }else{
	  x61=x52;
	  FREE(x2,1);
	  FREE(x51,1);
	  FREE(x53,1);}}}}}}}}
  r=_ADEBUG_2(__AAnalyzedGlobSig_84,x4,x61);}
 return r;}

extern OBJ _AAnalyzedGlobSig_81(OBJ x1,OBJ x2) /* nameRel */
{OBJ r;
 if(ISPRD(x1)&&(ISTGPRD(x1,6))){
  if(EXPRD(x1,1)){
   DSPRDF(x1);
  }else{
   DCPRD(x1,1);}
  if(ISPRD(x2)&&(ISTGPRD(x2,6))){
   if(EXPRD(x2,1)){
    DSPRDF(x2);
   }else{
    DCPRD(x2,1);}
   r=__AMySeqFun1_8;
  }else{
   FREE(x2,1);
   r=__AMySeqFun1_4;}
 }else{
  {OBJ x66;
   if(ISPRD(x2)&&(ISTGPRD(x2,6))){
    x66=__ABUILTIN_5;
   }else{
    x66=__ABUILTIN_3;}
   if(ISPRD(x1)&&(ISTGPRD(x1,5))){
    {OBJ x69=FLD(x1,3);
     COPY(x69,1);
     if(ISTGPRM(x66,1)){
      if(EXPRD(x1,1)){
       FREE(FLD(x1,3),1);DSPRDF(x1);
      }else{
       DCPRD(x1,1);}
      FREE(x2,1);
      FREE(x69,1);
      r=__AMySeqFun1_6;
     }else{
      if(ISPRD(x2)&&(ISTGPRD(x2,5))){
       {OBJ x72=FLD(x2,3);
	COPY(x72,1);
	{OBJ x73;OBJ x74;OBJ x75;
	 x73=_AName_11(x2);
	 x74=_AName_11(x1);
	 ANat_76(x74,x73,x75);
	 if(ISTGPRM(x75,1)){
	  CPCLS(__AAnalyzedGlobSig_81,1);
	  r=_AMySeqFun1_38(__AAnalyzedGlobSig_81,x69,x72,__AMySeqFun1_8);
	 }else{
	  FREE(x69,1);
	  FREE(x72,1);
	  r=__AMySeqFun1_2;}}}
      }else{
       if(EXPRD(x1,1)){
	FREE(FLD(x1,3),1);DSPRDF(x1);
       }else{
	DCPRD(x1,1);}
       FREE(x2,1);
       FREE(x69,1);
       r=__AMySeqFun1_4;}}}
   }else{
    FREE(x1,1);
    if(ISTGPRM(x66,1)){
     FREE(x2,1);
     r=__AMySeqFun1_6;
    }else{
     if(ISPRD(x2)&&(ISTGPRD(x2,5))){
      if(EXPRD(x2,1)){
       FREE(FLD(x2,3),1);DSPRDF(x2);
      }else{
       DCPRD(x2,1);}
      r=__AMySeqFun1_6;
     }else{
      FREE(x2,1);
      r=__AMySeqFun1_2;}}}}}
 return r;}

extern OBJ _AAnalyzedGlobSig_82(OBJ x1,OBJ x2) /* nameSetH */
{OBJ r;
 COPY(x2,1);
 {OBJ x3;
  x3=_AName_12(x2);
  PRD(3,5,r);FLD(r,1)=x3;FLD(r,3)=x1;
  FLD(r,2)=_AName_11(x2);}
 return r;}

extern OBJ _AAnalyzedGlobSig_83(OBJ x1,OBJ x2,OBJ x3) /* ``` */
{OBJ r;
 CPPRD(__AAnalyzedGlobSig_109,1);
 CPPRD(__AAnalyzedGlobSig_110,1);
 CPPRD(__AAnalyzedGlobSig_111,1);
 CPCLS(__AAnalyzedGlobSigH_9,1);
 CPPRD(__ASeqConv_8,1);
 {OBJ x4;OBJ x5;
  x4=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_9,2))(__AAnalyzedGlobSigH_9,x1,__ANat_8);
  x5=_ASeqConv_3(__AAnalyzedGlobSig_109,__ASeqConv_8,__AAnalyzedGlobSig_110,x4,x2);
  ADenotation_4(__AAnalyzedGlobSig_111,x5,r);}
 return r;}

extern OBJ _AAnalyzedGlobSig_87(OBJ x1,OBJ x2) /* genericInst? */
{OBJ r;
 FREE(x1,1);
 if(ISPRD(x2)&&(ISTGPRD(x2,2)||ISTGPRD(x2,1))){
  if(EXPRD(x2,1)){
   DSPRD(x2);
  }else{
   DCPRD(x2,1);}
  r=__ABUILTIN_3;
 }else{
  if(ISPRD(x2)&&(ISTGPRD(x2,5))){
   if(EXPRD(x2,1)){
    FREE(FLD(x2,3),1);DSPRDF(x2);
   }else{
    DCPRD(x2,1);}
   r=__ABUILTIN_5;
  }else{
   HLT("AnalyzedGlobSig at <336,12-338,35> : missing else in genericInst\?\'AnalyzedGlobSig:globSig->name->bool");}}
 return r;}

extern OBJ _AAnalyzedGlobSig_88(OBJ x1,OBJ x2) /* delInstPointer */
{OBJ r;
 CPCLS(__AAnalyzedGlobSig_89,1);
 CPCLS(__AName_31,1);
 {OBJ x3;OBJ x4;
  x3=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_89,1))(__AAnalyzedGlobSig_89,x1);
  x4=_ASeqReduce_3(x3,__ASeq_6,x2);
  r=_AMySeqFun1_12(__AName_31,x4);}
 return r;}

extern OBJ _AAnalyzedGlobSig_89(OBJ x1,OBJ x2,OBJ x3) /* delInstPointer2 */
{OBJ r;
 if(ISPRD(x2)&&(ISTGPRD(x2,2))){
  COPY(x1,1);
  CPPRD(x2,1);
  {OBJ x20;OBJ x21;
   x20=_AName_12(x2);
   x21=_AImpDecl4SigAna_50(x1,x20);
   if(ISTGPRM(x21,1)){
    FREE(x1,1);
    PRD1(2,r);FLD1(r,1)=x2;FLD1(r,2)=x3;
   }else{
    COPY(x1,2);
    {OBJ x22;OBJ x23;
     x22=_AName4SigAna_15(x1,x2);
     COPY(x22,1);
     x23=_AName4SigAna_14(x1,x22);
     if(ISTGPRM(x23,1)){
      COPY(x1,1);
      COPY(x22,2);
      CPCLS(__AAnalyzedGlobSig_90,1);
      {OBJ x24;OBJ x25;OBJ x26;OBJ x27;OBJ x28;
       x24=_AName4SigAna_21(x1,x22);
       x25=_AName_11(x22);
       x26=_AName_12(x22);
       x27=(*(OBJ(*)(OBJ,OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_90,3))(__AAnalyzedGlobSig_90,x1,x26,x25);
       x28=_ASeqMap_3(x27,x24);
       r=_ASeq_26(x28,x3);}
     }else{
      FREE(x1,1);
      PRD1(2,r);FLD1(r,1)=x22;FLD1(r,2)=x3;}}}}
 }else{
  FREE(x1,1);
  PRD1(2,r);FLD1(r,1)=x2;FLD1(r,2)=x3;}
 return r;}

extern OBJ _AAnalyzedGlobSig_90(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* toName2 */
{OBJ r;
 {OBJ x5;
  PRDF(3,2,x5);FLD(x5,1)=x2;FLD(x5,2)=x3;FLD(x5,3)=x4;
  r=_AName4SigAna_15(x1,x5);}
 return r;}

extern OBJ _AAnalyzedGlobSig_92(OBJ x1,OBJ x2,OBJ x3) /* changeInst */
{OBJ r;
 COPY(x3,1);
 {OBJ x4;OBJ x5;
  x4=_AName_12(x3);
  ANat_76(x2,x4,x5);
  if(ISTGPRM(x5,1)){
   {
    PRDF(3,2,r);FLD(r,1)=x4;FLD(r,3)=x1;
    FLD(r,2)=_AName_11(x3);}
  }else{
   r=x3;}}
 return r;}

extern OBJ _AAnalyzedGlobSig_95(OBJ x1,OBJ x2,OBJ x3) /* map1 */
{OBJ r;
 FREE(x3,1);
 if(ISTGPRD(x2,3)){
  if(EXPRD(x2,1)){
   FRPRD(FLD(x2,2),1);DSPRDF(x2);
  }else{
   DCPRD(x2,1);}
  r=__AOption_5;
 }else{
  FRPRD(x2,1);
  {OBJ x10;
   PRDF(1,1,x10);FLD(x10,1)=x1;
   PRD1(1,r);FLD1(r,1)=x10;}}
 return r;}

extern OBJ _AAnalyzedGlobSig_96(OBJ x1,OBJ x2,OBJ x3) /* map2 */
{OBJ r;
 FRPRD(x2,1);
 FREE(x3,1);
 PRD1F(1,r);FLD1(r,1)=x1;
 return r;}

extern OBJ _AAnalyzedGlobSig_97(OBJ x1,OBJ x2,OBJ x3,OBJ x4) /* map4 */
{OBJ r;
 COPY(x4,1);
 {OBJ x5;OBJ x15;
  x5=_AImpDecl4SigAna_50(x4,x1);
  if(ISTGPRM(x5,1)){
   FRPRD(x3,1);
   FREE(x4,1);
   {OBJ x6;
    PRDF(3,2,x6);FLD(x6,1)=x1;FLD(x6,2)=x2;FLD(x6,3)=__AObjects_30;
    PRD1(2,x15);FLD1(x15,1)=x6;FLD1(x15,2)=__ASeq_6;}
  }else{
   CPCLS(__AAnalyzedGlobSig_98,1);
   CPCLS(__AAnalyzedGlobSig_99,1);
   CPCLS(__AImpExpEntry_6,1);
   {OBJ x7;OBJ x8;OBJ x9;OBJ x10;OBJ x11;OBJ x12;OBJ x13;OBJ x14;
    x7=_AGlobSig_55(x4);
    x8=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSig_98,2))(__AAnalyzedGlobSig_98,x1,x2);
    x9=_AImpExpEntry_10(x3);
    x10=_ADArray_20(x7,x1);
    x11=_ASeqMap_3(__AImpExpEntry_6,x9);
    x12=_AImpExpEntry_91(x10);
    x13=(*(OBJ(*)(OBJ,OBJ))METHOD(__AAnalyzedGlobSig_99,1))(__AAnalyzedGlobSig_99,x12);
    x14=_ASeqFilter_2(x13,x11);
    x15=_ASeqMap_3(x8,x14);}}
  PRD1(1,r);FLD1(r,1)=x15;}
 return r;}

extern OBJ _AAnalyzedGlobSig_98(OBJ x1,OBJ x2,OBJ x3) /* toName */
{OBJ r;
 PRDF(3,2,r);FLD(r,1)=x1;FLD(r,2)=x2;FLD(r,3)=x3;
 return r;}

extern OBJ _AAnalyzedGlobSig_99(OBJ x1,OBJ x2) /* isInst? */
{OBJ r;
 {OBJ x3;
  x3=_ADArray_20(x1,x2);
  if(ISPRD(x3)&&(ISTGPRD(x3,9))){
   if(EXPRD(x3,1)){
    FREE(FLD(x3,1),1);DSPRDF(x3);
   }else{
    DCPRD(x3,1);}
   r=__ABUILTIN_5;
  }else{
   FREE(x3,1);
   r=__ABUILTIN_3;}}
 return r;}

extern OBJ _AAnalyzedGlobSig_100(OBJ x1,OBJ x2,OBJ x3) /* map3 */
{OBJ r;
 FREE(x2,1);
 FREE(x3,1);
 PRD1F(1,r);FLD1(r,1)=x1;
 return r;}

extern OBJ _AAnalyzedGlobSig_104(OBJ x1,OBJ x2,OBJ x3) /* eqNameHOF */
{OBJ r;
 r=_AAnalyzedGlobSigH_5(x1,x2,x3);
 return r;}

extern OBJ _AAnalyzedGlobSig_106(OBJ x1,OBJ x2) /* single'106 */
{OBJ r;
 CPPRD(__AAnalyzedGlobSig_105,1);
 {OBJ x3;
  x3=_AName_34(x1);
  ADenotation_4(__AAnalyzedGlobSig_105,x3,r);}
 return r;}

extern OBJ _AAnalyzedGlobSig_118(OBJ x1) /* useConstr'118 */
{OBJ r;
 CPCLS(__AAttributes_5,1);
 CPCLS(__AAttributes_18,1);
 CPCLS(__AAnalyzedGlobSigH_14,1);
 r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(__AAnalyzedGlobSigH_14,2))(__AAnalyzedGlobSigH_14,__AAttributes_18,__AAttributes_5);
 return r;}

extern OBJ _AAnalyzedGlobSig_120(OBJ x1) /* theory?'120 */
{OBJ r;
 COPY(x1,1);
 {OBJ x2;OBJ x3;OBJ x10;
  x2=_ASeq_52(x1,__ANat_5);
  ANat_76(x2,__ANat_8,x3);
  if(ISTGPRM(x3,1)){
   {OBJ x6;
    if(ISPRM(x1)){
     HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
    }else{
     {OBJ x4=FLD1(x1,1);
      CPPRD(x4,1);
      x6=x4;}}
    if(ISTGPRD(x6,1)){
     if(EXPRD(x6,1)){
      DSPRD(x6);
     }else{
      DCPRD(x6,1);}
     x10=__ABUILTIN_5;
    }else{
     if(EXPRD(x6,1)){
      FREE(FLD(x6,1),1);DSPRDF(x6);
     }else{
      DCPRD(x6,1);}
     x10=__ABUILTIN_3;}}
  }else{
   x10=__ABUILTIN_3;}
  if(ISTGPRM(x10,1)){
   {OBJ x13;OBJ x22;OBJ x17;
    if(ISPRM(x1)){
     HLT("Seq at <unknown> : undefined selection ft\'Seq:seq->data");
    }else{
     {OBJ x11=FLD1(x1,1);
      if(EXPRD(x1,1)){
       x13=x11;
       FREE(FLD1(x1,2),1);DSPRDF(x1);
      }else{
       CPPRD(x11,1);
       x13=x11;
       FRPRD(x1,1);}}}
    if(ISTGPRD(x13,1)){
     {OBJ x26=FLD(x13,1);
      if(EXPRD(x13,1)){
       x22=x26;
       FREE(FLD(x13,2),1);DSPRDF(x13);
      }else{
       CPPRD(x26,1);
       x22=x26;
       FRPRD(x13,1);}
      CPPRD(__ARep_96,1);
      x17=__ABUILTIN_5;}
    }else{
     HLT("GlobPragma at <unknown> : undefined selection ide\'GlobPragma:pragmaItem->rep");}
    r=_ARep_24(x22,__ARep_96);}
  }else{
   FREE(x1,1);
   r=__ABUILTIN_3;}}
 return r;}












static OBJ _mt_1_0_3(OBJ t,OBJ t1,OBJ t2,OBJ t3) 
{OBJ r;
 {OBJ t4;
  DCCLS(t,1);
  t4=(*(OBJ(*)(OBJ))ENTRY(t))(t1);
  r=(*(OBJ(*)(OBJ,OBJ,OBJ))METHOD(t4,2))(t4,t2,t3);}
 return r;}

static OBJ _mt_3_1_1(OBJ t,OBJ t1) 
{OBJ r;
 if(EXCLS(t)){
  r=t;
 }else{
  DPCLS(t,r);
  FLDCLS(r,1)=FLDCLS(t,1);
  COPY(FLDCLS(r,1),1);}
 INCCLS(r,1,1);
 FLDCLS(r,2)=t1;
 return r;}

static OBJ _mt_4_1_2(OBJ t,OBJ t1,OBJ t2) 
{OBJ r;
 if(EXCLS(t)){
  r=t;
 }else{
  DPCLS(t,r);
  FLDCLS(r,1)=FLDCLS(t,1);
  COPY(FLDCLS(r,1),1);}
 INCCLS(r,1,2);
 FLDCLS(r,2)=t1;
 FLDCLS(r,3)=t2;
 return r;}

init_AAnalyzedGlobSig()
{
 static int visited=0; if(visited) return; visited=1;
 init_ATree();
 init_APartNameEntry();
 init_ADArrayReduce();
 init_AImpExpEntry();
 init_APragma();
 init_ALexem();
 init_AAttributes();
 init_AGlobSig();
 init_ADArray();
 init_AGlobPragma();
 init_ANatMap();
 init_AName();
 init_AArray();
 init_AGlobSigImpl();
 init_APartName();
 init_AObjects();
 init_AImpl();
 init_AAbsyFun2();
 init_APatterns();
 init_AAbsyFun3();
 init_APair();
 init_AAnalyzedGlobSigH();
 init_AMap();
 init_ADEBUG();
 init_ANat();
 init_ADecl4SigAna();
 init_AOcError();
 init_ADenotation();
 init_ARep();
 init_AGlobSig4SigAna();
 init_AFct();
 init_AGlobSigToText();
 init_AOption();
 init_AImpDecl4SigAna();
 init_AOcPos();
 init_AMySeqFun1();
 init_ASeq();
 init_AMySeqFun3();
 init_ACom();
 init_AName4SigAna();
 init_AVoid();
 init_APoly4SigAna();
 init_AChar();
 init_ASeqConv();
 init_AString();
 init_ASeqFilter();
 init_AOcOptions();
 init_ASeqMap();
 init_AStream();
 init_ASeqMapEnv();
 init_AFile();
 init_ASeqOfSeq();
 init_AInt();
 init_ASeqReduce();
 init_ASet();
 init_ATableFun2();
 init_ABitset();
 init_AMaps4SigAna();
 init_ATable();
 init_ASetByBST();
 init_AUniqueTable();
 init_ABSTree();
 init_ADeclEntry();
 CLS(3,_AAnalyzedGlobSig_95,__AAnalyzedGlobSig_95);
 LCLS(2,_AAnalyzedGlobSig_31,__AAnalyzedGlobSig_31);
 CLS(3,_AAnalyzedGlobSig_63,__AAnalyzedGlobSig_63);
 CLS(3,_AAnalyzedGlobSig_30,__AAnalyzedGlobSig_30);
 CLS(3,_AAnalyzedGlobSig_62,__AAnalyzedGlobSig_62);
 CLS(2,_AAnalyzedGlobSig_29,__AAnalyzedGlobSig_29);
 CLS(2,_AAnalyzedGlobSig_61,__AAnalyzedGlobSig_61);
 DEN("-zlookupIn",__AAnalyzedGlobSig_124);
 CLS(3,_AAnalyzedGlobSig_92,__AAnalyzedGlobSig_92);
 CLS(2,_AAnalyzedGlobSig_28,__AAnalyzedGlobSig_28);
 CLS(2,_AAnalyzedGlobSig_60,__AAnalyzedGlobSig_60);
 DEN("-zlookup",__AAnalyzedGlobSig_123);
 CLS(1,_AAnalyzedGlobSig_27,__AAnalyzedGlobSig_27);
 CLS(4,_AAnalyzedGlobSig_59_c,__AAnalyzedGlobSig_59);
 DEN("-zcheckGenericInst",__AAnalyzedGlobSig_122);
 CLS(4,_AAnalyzedGlobSig_90,__AAnalyzedGlobSig_90);
 CLS(1,_AAnalyzedGlobSig_26,__AAnalyzedGlobSig_26);
 CLS(2,_AAnalyzedGlobSig_58_c,__AAnalyzedGlobSig_58);
 DEN("-zsingle",__AAnalyzedGlobSig_121);
 CLS(3,_AAnalyzedGlobSig_89,__AAnalyzedGlobSig_89);
 CLS(3,_AAnalyzedGlobSig_25,__AAnalyzedGlobSig_25);
 CLS(3,_AAnalyzedGlobSig_57,__AAnalyzedGlobSig_57);
 CLS(1,_AAnalyzedGlobSig_120,__AAnalyzedGlobSig_120);
 CLS(2,_AAnalyzedGlobSig_88,__AAnalyzedGlobSig_88);
 CLS(1,_AAnalyzedGlobSig_24,__AAnalyzedGlobSig_24);
 CLS(2,_AAnalyzedGlobSig_56,__AAnalyzedGlobSig_56);
 DEN("paramNo\'AnalyzedGlobSig: leere Sequenz fuer ",__AAnalyzedGlobSig_119);
 CLS(2,_AAnalyzedGlobSig_87,__AAnalyzedGlobSig_87);
 CLS(3,_AAnalyzedGlobSig_55,__AAnalyzedGlobSig_55);
 LCLS(1,_AAnalyzedGlobSig_118,__AAnalyzedGlobSig_118);
 CLS(2,_AAnalyzedGlobSig_54,__AAnalyzedGlobSig_54);
 DEN("IntOps",__AAnalyzedGlobSig_117);
 CLS(2,_AAnalyzedGlobSig_53,__AAnalyzedGlobSig_53);
 DEN("Ops",__AAnalyzedGlobSig_116);
 CLS(2,_AAnalyzedGlobSig_52,__AAnalyzedGlobSig_52);
 LCLS(3,_AAnalyzedGlobSig_83,__AAnalyzedGlobSig_83);
 CLS(2,_AAnalyzedGlobSig_19,__AAnalyzedGlobSig_19);
 CLS(2,_AAnalyzedGlobSig_51,__AAnalyzedGlobSig_51);
 CLS(2,_AAnalyzedGlobSig_82,__AAnalyzedGlobSig_82);
 CLS(3,_AAnalyzedGlobSig_18,__AAnalyzedGlobSig_18);
 CLS(2,_AAnalyzedGlobSig_50,__AAnalyzedGlobSig_50);
 DEN("Sorts",__AAnalyzedGlobSig_113);
 CLS(2,_AAnalyzedGlobSig_81,__AAnalyzedGlobSig_81);
 CLS(2,_AAnalyzedGlobSig_17,__AAnalyzedGlobSig_17);
 CLS(2,_AAnalyzedGlobSig_49,__AAnalyzedGlobSig_49);
 DEN("Names",__AAnalyzedGlobSig_112);
 CLS(3,_AAnalyzedGlobSig_80,__AAnalyzedGlobSig_80);
 CLS(2,_AAnalyzedGlobSig_16_c,__AAnalyzedGlobSig_16);
 CLS(2,_AAnalyzedGlobSig_48,__AAnalyzedGlobSig_48);
 DEN("checkGenericInst: ",__AAnalyzedGlobSig_111);
 CLS(3,_AAnalyzedGlobSig_79,__AAnalyzedGlobSig_79);
 CLS(2,_AAnalyzedGlobSig_15_c,__AAnalyzedGlobSig_15);
 CLS(2,_AAnalyzedGlobSig_47,__AAnalyzedGlobSig_47);
 DEN("}",__AAnalyzedGlobSig_110);
 CLS(2,_AAnalyzedGlobSig_78,__AAnalyzedGlobSig_78);
 CLS(2,_AAnalyzedGlobSig_14,__AAnalyzedGlobSig_14);
 CLS(2,_AAnalyzedGlobSig_46,__AAnalyzedGlobSig_46);
 DEN("{",__AAnalyzedGlobSig_109);
 CLS(4,_AAnalyzedGlobSig_77,__AAnalyzedGlobSig_77);
 CLS(1,_AAnalyzedGlobSig_13,__AAnalyzedGlobSig_13);
 CLS(2,_AAnalyzedGlobSig_45,__AAnalyzedGlobSig_45);
 CLS(4,_AAnalyzedGlobSig_76,__AAnalyzedGlobSig_76);
 CLS(1,_AAnalyzedGlobSig_12,__AAnalyzedGlobSig_12);
 CLS(2,_AAnalyzedGlobSig_44,__AAnalyzedGlobSig_44);
 CLS(1,_AAnalyzedGlobSig_75,__AAnalyzedGlobSig_75);
 CLS(1,_AAnalyzedGlobSig_11,__AAnalyzedGlobSig_11);
 CLS(4,_AAnalyzedGlobSig_43,__AAnalyzedGlobSig_43);
 LCLS(2,_AAnalyzedGlobSig_106,__AAnalyzedGlobSig_106);
 CLS(1,_AAnalyzedGlobSig_10,__AAnalyzedGlobSig_10);
 CLS(2,_AAnalyzedGlobSig_42,__AAnalyzedGlobSig_42);
 DEN("single: ",__AAnalyzedGlobSig_105);
 CLS(2,_AAnalyzedGlobSig_9,__AAnalyzedGlobSig_9);
 CLS(2,_AAnalyzedGlobSig_41,__AAnalyzedGlobSig_41);
 CLS(3,_AAnalyzedGlobSig_104,__AAnalyzedGlobSig_104);
 CLS(1,_AAnalyzedGlobSig_72,__AAnalyzedGlobSig_72);
 CLS(2,_AAnalyzedGlobSig_8,__AAnalyzedGlobSig_8);
 CLS(3,_AAnalyzedGlobSig_40,__AAnalyzedGlobSig_40);
 CLS(1,_AAnalyzedGlobSig_71,__AAnalyzedGlobSig_71);
 CLS(2,_AAnalyzedGlobSig_7,__AAnalyzedGlobSig_7);
 CLS(2,_AAnalyzedGlobSig_39,__AAnalyzedGlobSig_39);
 CLS(2,_AAnalyzedGlobSig_70,__AAnalyzedGlobSig_70);
 CLS(2,_AAnalyzedGlobSig_6,__AAnalyzedGlobSig_6);
 CLS(3,_AAnalyzedGlobSig_38,__AAnalyzedGlobSig_38);
 CLS(2,_AAnalyzedGlobSig_69,__AAnalyzedGlobSig_69);
 CLS(2,_AAnalyzedGlobSig_5,__AAnalyzedGlobSig_5);
 CLS(6,_AAnalyzedGlobSig_37_c,__AAnalyzedGlobSig_37);
 CLS(3,_AAnalyzedGlobSig_100,__AAnalyzedGlobSig_100);
 CLS(1,_AAnalyzedGlobSig_68,__AAnalyzedGlobSig_68);
 CLS(2,_AAnalyzedGlobSig_4,__AAnalyzedGlobSig_4);
 CLS(5,_AAnalyzedGlobSig_36_c,__AAnalyzedGlobSig_36);
 CLS(2,_AAnalyzedGlobSig_99,__AAnalyzedGlobSig_99);
 CLS(2,_AAnalyzedGlobSig_67,__AAnalyzedGlobSig_67);
 CLS(2,_AAnalyzedGlobSig_3,__AAnalyzedGlobSig_3);
 CLS(5,_AAnalyzedGlobSig_35_c,__AAnalyzedGlobSig_35);
 CLS(3,_AAnalyzedGlobSig_98,__AAnalyzedGlobSig_98);
 CLS(2,_AAnalyzedGlobSig_66,__AAnalyzedGlobSig_66);
 CLS(2,_AAnalyzedGlobSig_2,__AAnalyzedGlobSig_2);
 CLS(1,_AAnalyzedGlobSig_34,__AAnalyzedGlobSig_34);
 CLS(4,_AAnalyzedGlobSig_97,__AAnalyzedGlobSig_97);
 CLS(2,_AAnalyzedGlobSig_65,__AAnalyzedGlobSig_65);
 CLS(1,_AAnalyzedGlobSig_1,__AAnalyzedGlobSig_1);
 CLS(1,_AAnalyzedGlobSig_33,__AAnalyzedGlobSig_33);
 CLS(3,_AAnalyzedGlobSig_96,__AAnalyzedGlobSig_96);
 CLS(1,_AAnalyzedGlobSig_32,__AAnalyzedGlobSig_32);
 CLS(1,_AAnalyzedGlobSig_64,__AAnalyzedGlobSig_64);
 MTH(1,0,3,_mt_1_0_3);LZYMTH(1,0,3,_mt_1_0_3);
 MTH(3,1,1,_mt_3_1_1);LZYMTH(3,1,1,_mt_3_1_1);
 MTH(4,1,2,_mt_4_1_2);LZYMTH(4,1,2,_mt_4_1_2);
 __AAnalyzedGlobSig_21=__ANat_59;
 __AAnalyzedGlobSig_22=__ANat_5;
 __AAnalyzedGlobSig_23=__ANat_8;
 CPPRD(__AAnalyzedGlobSig_121,1);
 __AAnalyzedGlobSig_74=_ADEBUG_10(__AAnalyzedGlobSig_121);
 CPPRD(__AAnalyzedGlobSig_122,1);
 __AAnalyzedGlobSig_84=_ADEBUG_10(__AAnalyzedGlobSig_122);
 CPPRD(__AAnalyzedGlobSig_123,1);
 __AAnalyzedGlobSig_85=_ADEBUG_10(__AAnalyzedGlobSig_123);
 CPPRD(__AAnalyzedGlobSig_124,1);
 __AAnalyzedGlobSig_86=_ADEBUG_10(__AAnalyzedGlobSig_124);
 PRDF(1,1,__AAnalyzedGlobSig_107);FLD(__AAnalyzedGlobSig_107,1)=__ANat_11;
 PRDF(3,2,__AAnalyzedGlobSig_108);FLD(__AAnalyzedGlobSig_108,1)=__ANat_8;FLD(__AAnalyzedGlobSig_108,2)=__ANat_11;FLD(__AAnalyzedGlobSig_108,3)=__AObjects_30;
 CPPRD(__ANatMap_3,1);
 PRD1(2,__AAnalyzedGlobSig_114);FLD1(__AAnalyzedGlobSig_114,1)=__ANatMap_3;FLD1(__AAnalyzedGlobSig_114,2)=__ABUILTIN_3;
 CPPRD(__ANatMap_3,1);
 PRD1(2,__AAnalyzedGlobSig_115);FLD1(__AAnalyzedGlobSig_115,1)=__ANatMap_3;FLD1(__AAnalyzedGlobSig_115,2)=__ABUILTIN_5;}

