Added tools/skolemize