stricter post-convert checks
wip tree conversion