aspirational tests
build separate qterm tree from quasiterms