package assignment2;

import be.ac.ua.ansymo.adbc.annotations.invariant;

@invariant({"$super", "$this.isTwoOrNoLeaf() == true"})
public class FullBinTree extends BinTree {

	public FullBinTree(long id) {
		super(id);
	}

}

package assignment2;

import be.ac.ua.ansymo.adbc.annotations.invariant;

@invariant("$this.isTwoOrNoLeaf() == true")
public class FullBinTree extends BinTree {

	public FullBinTree(long id) {
		super(id);
	}

}

--- 
+++ 
@@ -2,7 +2,7 @@
 
 import be.ac.ua.ansymo.adbc.annotations.invariant;
 
-@invariant("$this.isTwoOrNoLeaf() == true")
+@invariant({"$super", "$this.isTwoOrNoLeaf() == true"})
 public class FullBinTree extends BinTree {
 
 	public FullBinTree(long id) {
Add contraints from parent class.
