Now seems to work with the nonrecursive reach
No extra clutter now, reach seems to work
Progress, the generatin is turned off