Updating: fixing a bug in [auxfind2] called by [ccompenv_find_tailcalenv_cst]