missing Override annotation
refactorings in classes dealing with weak references in the Prolog engine and unification