Moving pddlcheck to prevent double-compilation
Removing unfinished function