generated_rtchecks_db/3 must not be rectracted in swi, because the module can be extended further.