public static void TestPreString3(PreconditionInference p) { Contract.Assert(!p.IsBar); }
public static void TestPreString2(PreconditionInference p) { Contract.Assert(!p.IsFoo()); }