removing examples using retract_all so it may run in xsb
improving the loader