anchor.diff:      type Type with
           member x.MaybeAssignableFromSubtype(other : Type) =
               if x.IsAssignableFrom other then true
  +            elif other.IsAssignableFrom x then true
               else other.IsInterface
   
       [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
  
positive.code:         let list = Cons(1, MyCons(2, Nil()))
          Log.line "sum = %A" (sum list)
  
          if true then
  
              let rec long (n : int) =
  
negative.code:                 | null -> node.GetType().PrettyName
                  | p -> sprintf "%s/%s" (p.ToString()) (node.GetType().PrettyName)
  
  
  
      type SemanticFunction =
  