public static bool IsNormal <T>(this Mono.CodeContracts.Static.Lattices.IAbstractDomain <T> domain) { throw null; }
public static string BottomSymbolIfAny <T>(this Mono.CodeContracts.Static.Lattices.IAbstractDomain <T> domain) { throw null; }