automatically continue when redefining DEFKNOWNs