unbound Variable cog-satisfying-set and loading scm file