Set *warn-on-reflection* to true.
Implement lattice meet and join, build tree from paths using lattice join.