take care of the bound variable in a Kan VCircle