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);
	}

}

@@ -78,16 +78,27 @@
 variant(
+%7B%22$super%22, 
 %22$this.i
@@ -120,16 +120,17 @@
 == true%22
+%7D
 )%0Apublic

Add contraints from parent class.