assertion.java

public class Heap {
    public Integer insert(Integer n) {
	...
	assert(isHeapOK());
    }

    @Pure Boolean isHeapOK() {...};
}