Package soot.dotnet.specifications