-square-tree without higher-order procedure and with map