memory_xsb.c: print warning if double-freeing instead of crashing
biassert.c: clean up after retracting to avoid reusing garbage and ultimately crashing.
Authored by: kifer 2015-12-28
Parent: [r8551]
Child: [r8553]