anchor.diff:      interface IMacro with
           member this.Translate(q, _) =
               match q with
  -            | Q.CallModule (c, []) ->
  +            | Q.CallOrCallModule (c, []) ->
                   match c.Generics with
                   | [t] -> !~(C.String t.FullName) 
                   | _ -> failwith "NameOfMacro error"
  
positive.code:                 equal (add 1 2) 3
              }
  
          }
negative.code:     interface IMacro with
          member this.Translate(q, tr) =
              match q with
              | Q.CallOrCallModule (_, [a; b]) ->
                  match a, b with
                  | Q.Value (Q.Int ai), Q.Value (Q.Int bi) ->
                      !~ (C.Integer (int64 (ai + bi)))
  