Extends threadsafety to pred, role, and srl.