Tree filtering and AbstractNodeFilter#fromString