tree clean
property test