Property based test for parsing and simplification of structured trees

10 jobs for !9 with onestep
merge request