public void test1() throws Throwable {

    java.lang.Integer var0 = new java.lang.Integer(0);
    java.lang.Integer var1 = new java.lang.Integer(100);
    java.lang.Integer var2 = new java.lang.Integer(1);
    java.lang.Integer var3 = new java.lang.Integer(1);
    java.lang.Integer var4 = new java.lang.Integer(100);
    java.lang.Integer var5 = new java.lang.Integer((-1));
    java.lang.Integer var6 = new java.lang.Integer((-1));
    com.domainlanguage.time.TimePoint var7 =
        com.domainlanguage.time.TimePoint.atGMT(
            (int) var0, (int) var1, (int) var2, (int) var3, (int) var4, (int) var5, (int) var6);
    com.domainlanguage.time.TimeInterval var8 = com.domainlanguage.time.TimeInterval.everFrom(var7);

    // Checks the contract:  var8.equals(var8)
    assertTrue("Contract failed: var8.equals(var8)", var8.equals(var8));
  }