Update Constraints.jrag

src/main/jastadd/hanoi/Constraints.jrag

@@ -34,12 +34,6 @@ aspect Connectives{
     eq Equal.eval(){
         return this.getLeft().eval() - this.getRight().eval()==0;
     }
-    eq SelfEq.eval(){//has smallest disk on top
-        return this.getTerm().eval()==1;
-    }
-    eq SelfComp.eval(){//has no disk on top
-        return this.getTerm().eval()<0;
-    }
     public double Term.eval(){
         return 0;
     }
@@ -67,4 +61,4 @@ aspect Connectives{
         String[] str=new String[]{};
         return str;
     }
-}
\ No newline at end of file
+}