public void GenerateCodeTest(Requirement r, string expected)
 {
     System.Diagnostics.Contracts.Contract.Requires(r != null);
     Assert.AreEqual(expected, r.GenerateCode());
 }