anchor.diff:  
       let (|Lit|_|) = castLiteral
   
  +    let tupleGet idx e =
  +        let erlang = litAtom "erlang" |> constr
  +        let element = litAtom "element" |> constr
  +        let idx = idx+1 |> cerl.LInt
  +        modCall erlang element [cerl.Lit idx |> constr; e]
  +
       //TODO: should we consult the FSharpType as well?
       let mapConst (o : obj) =
           match o with
  
positive.code:                                                             ctx)
                                             s rest)
  
              printfn "merged %A"  (thenPatsGrouped, merged)
              yield! merged |> Map.toList
              yield! processITEs d nm esle
          | B.DecisionTreeSuccess(idx, []) ->
  
negative.code:         let decs = res.AssemblyContents.ImplementationFiles.Head.Declarations
          for implFile in res.AssemblyContents.ImplementationFiles do
            for decl in implFile.Declarations do
                (* failwithf "%A" decl *)
                let m = processDecl decl
                cerl.prt m |> printfn "%s"
          0
      | _ ->
  