backup2
astree done
does not freeze on any tests now