kB      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Safe-Inferred B End of fileC error tokenDwhite space tokenE operatorsFsymbolsGkeywordHstring literalITheory identifierJqualified?, classificationKWe don't process reals for nowL value, bases  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[s  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[   =<;:9876543210/.-,+*)('&%$#"!>@?A LKJIHGFEDCBMONPRQSTUVWXYZ[ Trustworthy;h     \] !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd^  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^]\STUVWALKJIHGFEDCBPRQMON =<;:9876543210/.-,+*)('&%$#"! >@?XYZ[]     \] !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcd Safe-Inferred+0<^_`abcdefghijklmnopqrstuvwxyz{|}~;^_`abcdefghijklmnopqrstuvwxyz{|}~<~p}|{zyxwvutsrqmonflkjihgbedc^a`_ ^a`_bedcflkjihgmonp }|{zyxwvutsrq~  Safe-Inferred Find free names in an expression.Count the uses of free names in an expression.Rename an expression to avoid all shadowing. The input parameters is a set of names that are already in scope and, therefore, should be renamed.Apply a substitution to an exprssion. WARNING: This assumes that no capturing of variables will occur. This function treats names without arguments applied to them as the variables elligible for substitution. efghijkl efghijkl Safe-InferredThe m$ is the seed to generate names. If d is called multiple times, one should take care to supply a new name seed, to avoid clashing names.  Safe-InferredHJKM6nopq226nopq Safe-InferredF rstu rstu Trustworthy#  *+-./02345689:;<=?BCDFGHJKMvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      vwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      x y !      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_``abcdefghijklmnopqrstuvwxyz{|t}m~e      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abccdefghijklmnopqrstuvwwxyz{|}}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     why3-0.8Language.Why3.LexerLanguage.Why3.ASTLanguage.Why3.NamesLanguage.Why3.CSELanguage.Why3.LensLanguage.Why3.PPLanguage.Why3.ParserLanguage.Why3.LexerUtilsTokenErr LexicalError InvalidChar InvalidStringUnterminatedCharUnterminatedStringUnterminatedCommentTokenSymCurlyRCurlyLBracketRBracketLParenRParenLBar UnderscoreEqQuoteColonSemiDotCommaTokenOpOtherOpBangOpConjAsymConjDisjAsymDisjArrowLRArrowRArrowLTokenKW KW_export KW_import KW_namespaceKW_cloneKW_useKW_goalKW_lemmaKW_axiomKW_coinductive KW_inductive KW_predicate KW_function KW_constantKW_type KW_theoryKW_falseKW_trueKW_not KW_exists KW_forallKW_asKW_endKW_withKW_matchKW_inKW_letKW_elseKW_thenKW_ifTokenWSpace BlockCommentTokenTEOFErrWhiteOpSymKWStrLitTIdentIdentRealTokNumIdCaseUpperLowerIdQualQualUnqualToken tokenType tokenTexttokenPosPositionlinecollexer primLexerTypeTupleTyVarTyConPatternPConPVarPWildConnIffImpliesAsymOrOrAsymAndAndQuantExistsForallExprLabeledCast RecordUpdateRecordFieldNotMatchIfLetAppLitLiteralBoolRealIntegerImpExpExportImport TyCaseAltTypeDefTyCaseTyTyRecordDecl FunctionDefFunction PredicateDef PredicateLemmaAxiomUseGoalTheoryName $fNFDataType freeNames countUsesrenameapSubstMSsMapsNextSimpleShape cseFormula importFormula importTermcompoundvarName exprPlate_App_Let_If_Match_Conn_Not_Quant_Field_Record _RecordUpdate_Cast_Labeled_And_AsymAnd_Or_AsymOr_Implies_Iff_Goal_Use_Axiom_Lemma_Type_TypeDef _Predicate _PredicateDef _Function _FunctionDef_Import_Export_Integer_Real_Bool_PWild_PVar_PCon_Forall_Exists theoryName theoryDecls tyCaseAltNametyCaseAltLabelstyCaseAltTyParams_TyCon_TyVar_Tuple _TyRecord_Ty_TyCaseppThppDppLisOpWhy3ppEppPppTParseMtheoriespTypeexprparseLexSInString InCommentNormalAction AlexInputInpalexPosinputalexInputPrevChar alexGetBytemove startComment endComent addToComment startString endString addToStringemitemitSnumToken fromDecDigit fromHexDigitAlexAcc AlexAccSkip AlexAccNone AlexLastAcc AlexLastSkipAlexNone AlexReturn AlexTokenAlexSkip AlexErrorAlexEOFAlexAddrAlexA# alex_base alex_table alex_check alex_deflt alex_accept stateToIntcommentstring alex_action_0 alex_action_1 alex_action_2 alex_action_3 alex_action_4 alex_action_5 alex_action_6 alex_action_7 alex_action_8 alex_action_9alex_action_10alex_action_11alex_action_12alex_action_13alex_action_14alex_action_15alex_action_16alex_action_17alex_action_18alex_action_19alex_action_20alex_action_21alex_action_22alex_action_23alex_action_24alex_action_25alex_action_26alex_action_27alex_action_28alex_action_29alex_action_30alex_action_31alex_action_32alex_action_33alex_action_34alex_action_35alex_action_36alex_action_37alex_action_38alex_action_39alex_action_40alex_action_41alex_action_42alex_action_43alex_action_44alex_action_45alex_action_46alex_action_47alex_action_48alex_action_49alex_action_50alex_action_51alex_action_52alex_action_53alex_action_54alex_action_55alex_action_56alex_action_57alex_action_58alex_action_59alex_action_60alex_action_61alex_action_62alex_action_63alex_action_64alex_action_65alex_action_66alex_action_67alex_action_68alex_action_69alex_action_70alexIndexInt16OffAddralexIndexInt32OffAddr quickIndexalexScan alexScanUser alex_scan_tkniUnbox$fFunctorAlexLastAccCountgetCountcountOneforget forgetMany patDefines $fMonoidCountghc-prim GHC.TypesIntPrism'Lens'_2prism'ppPrecPppPrecTwrapppText HappyAddrHappyA#HappyStk Happy_IntList HappyConsPunPHappyAny HappyAbsSynhappyIn7 happyOut7happyIn8 happyOut8happyIn9 happyOut9 happyIn10 happyOut10 happyIn11 happyOut11 happyIn12 happyOut12 happyIn13 happyOut13 happyIn14 happyOut14 happyIn15 happyOut15 happyIn16 happyOut16 happyIn17 happyOut17 happyIn18 happyOut18 happyIn19 happyOut19 happyIn20 happyOut20 happyIn21 happyOut21 happyIn22 happyOut22 happyIn23 happyOut23 happyIn24 happyOut24 happyIn25 happyOut25 happyIn26 happyOut26 happyIn27 happyOut27 happyIn28 happyOut28 happyIn29 happyOut29 happyIn30 happyOut30 happyIn31 happyOut31 happyIn32 happyOut32 happyIn33 happyOut33 happyIn34 happyOut34 happyIn35 happyOut35 happyIn36 happyOut36 happyIn37 happyOut37 happyIn38 happyOut38 happyIn39 happyOut39 happyIn40 happyOut40 happyIn41 happyOut41 happyIn42 happyOut42 happyIn43 happyOut43 happyIn44 happyOut44 happyIn45 happyOut45 happyIn46 happyOut46 happyIn47 happyOut47 happyIn48 happyOut48 happyIn49 happyOut49 happyIn50 happyOut50 happyIn51 happyOut51 happyIn52 happyOut52 happyIn53 happyOut53 happyIn54 happyOut54 happyIn55 happyOut55 happyInTok happyOutTokhappyActOffsetshappyGotoOffsetshappyDefActions happyCheck happyTablehappyReduceArr happy_n_termshappy_n_nonterms happyReduce_4happyReduction_4 happyReduce_5happyReduction_5 happyReduce_6happyReduction_6 happyReduce_7happyReduction_7 happyReduce_8happyReduction_8 happyReduce_9happyReduction_9happyReduce_10happyReduction_10happyReduce_11happyReduction_11happyReduce_12happyReduction_12happyReduce_13happyReduction_13happyReduce_14happyReduction_14happyReduce_15happyReduction_15happyReduce_16happyReduction_16happyReduce_17happyReduction_17happyReduce_18happyReduction_18happyReduce_19happyReduction_19happyReduce_20happyReduction_20happyReduce_21happyReduction_21happyReduce_22happyReduction_22happyReduce_23happyReduction_23happyReduce_24happyReduction_24happyReduce_25happyReduction_25happyReduce_26happyReduction_26happyReduce_27happyReduction_27happyReduce_28happyReduction_28happyReduce_29happyReduction_29happyReduce_30happyReduction_30happyReduce_31happyReduction_31happyReduce_32happyReduction_32happyReduce_33happyReduction_33happyReduce_34happyReduction_34happyReduce_35happyReduction_35happyReduce_36happyReduction_36happyReduce_37happyReduction_37happyReduce_38happyReduction_38happyReduce_39happyReduction_39happyReduce_40happyReduction_40happyReduce_41happyReduction_41happyReduce_42happyReduction_42happyReduce_43happyReduction_43happyReduce_44happyReduction_44happyReduce_45happyReduction_45happyReduce_46happyReduction_46happyReduce_47happyReduction_47happyReduce_48happyReduction_48happyReduce_49happyReduction_49happyReduce_50happyReduction_50happyReduce_51happyReduction_51happyReduce_52happyReduction_52happyReduce_53happyReduction_53happyReduce_54happyReduction_54happyReduce_55happyReduction_55happyReduce_56happyReduction_56happyReduce_57happyReduction_57happyReduce_58happyReduction_58happyReduce_59happyReduction_59happyReduce_60happyReduction_60happyReduce_61happyReduction_61happyReduce_62happyReduction_62happyReduce_63happyReduction_63happyReduce_64happyReduction_64happyReduce_65happyReduction_65happyReduce_66happyReduction_66happyReduce_67happyReduction_67happyReduce_68happyReduction_68happyReduce_69happyReduction_69happyReduce_70happyReduction_70happyReduce_71happyReduction_71happyReduce_72happyReduction_72happyReduce_73happyReduction_73happyReduce_74happyReduction_74happyReduce_75happyReduction_75happyReduce_76happyReduction_76happyReduce_77happyReduction_77happyReduce_78happyReduction_78happyReduce_79happyReduction_79happyReduce_80happyReduction_80happyReduce_81happyReduction_81happyReduce_82happyReduction_82happyReduce_83happyReduction_83happyReduce_84happyReduction_84happyReduce_85happyReduction_85happyReduce_86happyReduction_86happyReduce_87happyReduction_87happyReduce_88happyReduction_88happyReduce_89happyReduction_89happyReduce_90happyReduction_90happyReduce_91happyReduction_91happyReduce_92happyReduction_92happyReduce_93happyReduction_93happyReduce_94happyReduction_94happyReduce_95happyReduction_95happyReduce_96happyReduction_96happyReduce_97happyReduction_97happyReduce_98happyReduction_98happyReduce_99happyReduction_99happyReduce_100happyReduction_100happyReduce_101happyReduction_101happyReduce_102happyReduction_102happyReduce_103happyReduction_103happyReduce_104happyReduction_104happyReduce_105happyReduction_105happyReduce_106happyReduction_106happyReduce_107happyReduction_107happyReduce_108happyReduction_108happyReduce_109happyReduction_109happyReduce_110happyReduction_110happyReduce_111happyReduction_111happyReduce_112happyReduction_112happyReduce_113happyReduction_113happyReduce_114happyReduction_114happyReduce_115happyReduction_115happyReduce_116happyReduction_116happyReduce_117happyReduction_117happyReduce_118happyReduction_118happyReduce_119happyReduction_119happyReduce_120happyReduction_120happyReduce_121happyReduction_121happyReduce_122happyReduction_122happyReduce_123happyReduction_123happyReduce_124happyReduction_124happyReduce_125happyReduction_125happyReduce_126happyReduction_126happyReduce_127happyReduction_127happyReduce_128happyReduction_128happyReduce_129happyReduction_129happyReduce_130happyReduction_130happyReduce_131happyReduction_131happyReduce_132happyReduction_132happyReduce_133happyReduction_133happyReduce_134happyReduction_134happyReduce_135happyReduction_135happyReduce_136happyReduction_136happyReduce_137happyReduction_137happyReduce_138happyReduction_138happyReduce_139happyReduction_139 happyNewToken happyError_ happyThen happyReturn happyThen1 happyReturn1 happyError'theoryhappySeq mkTypeParamtextPos happyErrorlexerP happyParse happyAccept happyDoActionindexShortOffAddr happyShifthappySpecReduce_0happySpecReduce_1happySpecReduce_2happySpecReduce_3 happyReducehappyMonadReducehappyMonad2Reduce happyDrop happyDropStk happyGoto happyFail notHappyAtAll happyTcHack happyDoSeq happyDontSeq $fMonadParseM$fApplicativeParseM$fFunctorParseM