Streams: use streams matcher in side effect detection (recurse on new subTrees properties)