
:- include(library(assertions)).
:- include(library(nativeprops)).

:- redefining(indep/1).
:- redefining(indep/2).

:- include(library(cges)).
