The NADL representation is not a 1-1 translation of the PDDL domain: the elevator can only
move one step up and down at a time, while the PDDL elevator can go an arbitrary num of
steps up and down
