FIX: tree equality didn't work at all