Option for skolemizing blank nodes while loading