h)T       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~0.1.0.1 Safe-Inferred";=dhscanner-bitcodeFully qualified name Safe-Inferred";= Idhscanner-bitcodeCan not be serialized to JSONOdhscanner-bitcodeCan not be serialized to JSONidhscanner-bitcode'A minimal instruction set to translate any programming language to an intermediate langauge ready for static analysisydhscanner-bitcode,All instructions have an associated location6That is true also for instrumented instructions (like j and n)dhscanner-bitcode0Creating an empty collection of global variables  "! #&%$'*)(+.-,/2103546987:=<;>BA@?CHEGFDIKJLNMOQPRUTSVW[ZYX\`_^]adcbehgfixwvutsrqponmlkjy|{z}~y|{zixwvutsrqponmlkj}ehgfadcb\`_^]W[ZYXRUTSV~OQPLNMIKJCHEGFD>BA@?:=<;6987354/210+.-,'*)(#&%$"!    Safe-Inferred";= @dhscanner-bitcode%create a loop from condition and body Safe-Inferred";= dhscanner-bitcodeFour kinds of callables.!!      !""#$%%&'(()*++,-../0012334566789::;<=>??@AABCCDEFGHIJJKLMNNOPQRRSTUUVWXYZ[\]^_`abcdefghhijklmnopqrstuvwxyz{|}~i!dhscanner-bitcode-0.1.0.1-inplaceFqnBitcodeCfgCallabledhscanner-bitcodecontentany nativeInt nativeStr $fShowFqn$fEqFqn$fOrdFqn $fGenericFqn $fToJSONFqn $fFromJSONFqnParamDeclContent paramVariableSubscriptWriteContentsubscriptWriteOutputsubscriptWriteIdxsubscriptWriteInputSubscriptReadContentsubscriptReadOutputsubscriptReadInputsubscriptReadIdxFieldWriteContentfieldWriteOutputfieldWriteNamefieldWriteInputFieldReadContentfieldReadOutputfieldReadInput fieldReadName BoolContentloadImmBoolOutputloadImmBoolValue StrContentloadImmStrOutputloadImmStrValue IntContentloadImmIntOutputloadImmIntValue AssignContent assignOutput assignInput ReturnContent returnValue AssumeContentassumeVariable assumedValue UnopContent unopOutputunopLhs BinopContent binopOutputbinopLhsbinopRhs CallContent callOutputcalleeargs callLocation TmpVariablesactualTmpVariables SrcVariablesactualSrcVariables VariablesactualVariablesVariableTmpVariableCtorSrcVariableCtorParamVariableCtorArg ParamVariableparamVariableFqnparamVariableSerialIdxparamVariableToken ArgContentargVariableFqnargVariableSerialIdxargVariableMyAwesomeCallContext SrcVariablesrcVariableFqnsrcVariableToken TmpVariabletmpVariableFqntmpVariableLocationInstructionContentNopCallUnopBinopAssumeReturnAssign LoadImmStr LoadImmInt LoadImmBool ParamDecl FieldRead FieldWrite SubscriptReadSubscriptWrite InstructionlocationinstructionContentmkNopInstruction variableFqn&createEmptyCollectionOfGlobalVariableslocationVariable callInputsmkAssumeInstructionoutputinputsinputs' variables$fShowInstruction$fEqInstruction$fGenericInstruction$fToJSONInstruction$fFromJSONInstruction$fOrdInstruction$fShowInstructionContent$fEqInstructionContent$fGenericInstructionContent$fToJSONInstructionContent$fFromJSONInstructionContent$fOrdInstructionContent$fShowParamDeclContent$fEqParamDeclContent$fGenericParamDeclContent$fToJSONParamDeclContent$fFromJSONParamDeclContent$fOrdParamDeclContent$fShowSubscriptWriteContent$fEqSubscriptWriteContent$fGenericSubscriptWriteContent$fToJSONSubscriptWriteContent$fFromJSONSubscriptWriteContent$fOrdSubscriptWriteContent$fShowSubscriptReadContent$fEqSubscriptReadContent$fGenericSubscriptReadContent$fToJSONSubscriptReadContent$fFromJSONSubscriptReadContent$fOrdSubscriptReadContent$fShowFieldWriteContent$fEqFieldWriteContent$fGenericFieldWriteContent$fToJSONFieldWriteContent$fFromJSONFieldWriteContent$fOrdFieldWriteContent$fShowFieldReadContent$fEqFieldReadContent$fGenericFieldReadContent$fToJSONFieldReadContent$fFromJSONFieldReadContent$fOrdFieldReadContent$fShowBoolContent$fEqBoolContent$fGenericBoolContent$fToJSONBoolContent$fFromJSONBoolContent$fOrdBoolContent$fShowStrContent$fEqStrContent$fGenericStrContent$fToJSONStrContent$fFromJSONStrContent$fOrdStrContent$fShowIntContent$fEqIntContent$fGenericIntContent$fToJSONIntContent$fFromJSONIntContent$fOrdIntContent$fShowAssignContent$fEqAssignContent$fGenericAssignContent$fToJSONAssignContent$fFromJSONAssignContent$fOrdAssignContent$fShowReturnContent$fEqReturnContent$fGenericReturnContent$fToJSONReturnContent$fFromJSONReturnContent$fOrdReturnContent$fShowAssumeContent$fEqAssumeContent$fGenericAssumeContent$fToJSONAssumeContent$fFromJSONAssumeContent$fOrdAssumeContent$fShowUnopContent$fEqUnopContent$fGenericUnopContent$fToJSONUnopContent$fFromJSONUnopContent$fOrdUnopContent$fShowBinopContent$fEqBinopContent$fGenericBinopContent$fToJSONBinopContent$fFromJSONBinopContent$fOrdBinopContent$fShowCallContent$fEqCallContent$fGenericCallContent$fToJSONCallContent$fFromJSONCallContent$fOrdCallContent$fShowTmpVariables$fEqTmpVariables$fOrdTmpVariables$fShowSrcVariables$fEqSrcVariables$fOrdSrcVariables$fShowVariables $fEqVariables$fOrdVariables$fShowVariable $fEqVariable $fOrdVariable$fGenericVariable$fToJSONVariable$fFromJSONVariable$fShowParamVariable$fEqParamVariable$fOrdParamVariable$fGenericParamVariable$fToJSONParamVariable$fFromJSONParamVariable$fShowArgContent$fEqArgContent$fOrdArgContent$fGenericArgContent$fToJSONArgContent$fFromJSONArgContent$fShowSrcVariable$fEqSrcVariable$fOrdSrcVariable$fGenericSrcVariable$fToJSONSrcVariable$fFromJSONSrcVariable$fShowTmpVariable$fEqTmpVariable$fOrdTmpVariable$fGenericTmpVariable$fToJSONTmpVariable$fFromJSONTmpVariableentryexitedgesEdges actualEdgesEdgefromtoNodes actualNodesNodetheInstructionInsidemkEmptyCollectionOfEdgesnodespredsemptyatomconcatparallelloopify $fShowCfg$fEqCfg$fOrdCfg $fGenericCfg $fToJSONCfg $fFromJSONCfg $fShowEdges $fEqEdges $fOrdEdges$fGenericEdges $fToJSONEdges$fFromJSONEdges $fShowEdge$fEqEdge $fOrdEdge $fGenericEdge $fToJSONEdge$fFromJSONEdge $fShowNodes $fEqNodes $fOrdNodes $fShowNode$fEqNode $fOrdNode $fGenericNode $fToJSONNode$fFromJSONNodeFunctionContentfuncNamefuncBodyfuncAnnotations funcLocation Annotation annotationFqnannotationConstantStrings ScriptContentfilename scriptBody LambdaContent lambdaBodylambdaLocation MethodContent methodNamehostingClassNamehostingClassSupers methodBodymethodLocationMethodLambdaScriptFunction CallablesactualCallables$fShowCallables $fEqCallables$fOrdCallables$fGenericCallables$fToJSONCallables$fFromJSONCallables$fShowCallable $fEqCallable $fOrdCallable$fGenericCallable$fToJSONCallable$fFromJSONCallable$fShowFunctionContent$fEqFunctionContent$fOrdFunctionContent$fGenericFunctionContent$fToJSONFunctionContent$fFromJSONFunctionContent$fShowAnnotation$fEqAnnotation$fOrdAnnotation$fGenericAnnotation$fToJSONAnnotation$fFromJSONAnnotation$fShowScriptContent$fEqScriptContent$fOrdScriptContent$fGenericScriptContent$fToJSONScriptContent$fFromJSONScriptContent$fShowLambdaContent$fEqLambdaContent$fOrdLambdaContent$fGenericLambdaContent$fToJSONLambdaContent$fFromJSONLambdaContent$fShowMethodContent$fEqMethodContent$fOrdMethodContent$fGenericMethodContent$fToJSONMethodContent$fFromJSONMethodContent