redetermined_vars is instance variable of mvine now