import semmle.code.dotnet.DotNet as DotNet