new_astree no longer interns every astree into the table