projectivize non-projective trees