Piecewise testable tree languages (Logical Methods in Computer Science, 2012)