reinstantiate pldb
no need for copy-term when adding facts