Generating consistent PDDL domains with Large Language Models