ndependent pd env (f :$ a) = independent pd env f && independent pd env a

independent pd env (f :$ a) = independent pd env f && independent pd env a
independent pd env (f :$ a) = independent pd env f && independent pd env a