Convert DNS code to use ASR
Remove the session tree