anchor.diff:                                      value <- Console.ReadLine()
                                       if att.PermitsFreeValue then validValue <- true
                                       else validValue <- (values |> Array.contains value)
  +                                printfn ""
                                   m |> Map.add att.Index value)
                           Map.empty
                   let generatorInput = {
  
positive.code:                                 let mutable value = ""
                                  while (values |> Array.contains value |> not) do
                                      value <- Console.ReadLine()
                                  m |> Map.add att.Index value)
                          Map.empty
                  let variableValues =
  
negative.code:                 |> Seq.map (fun t -> t.Value)
                  |> Seq.fold (+) ""
                  |> printfn "%s"
                  printfn ""
                  0 // return an integer exit code
  