redetermined_vars are now instance variables
redetermined_vars is now a set
minor change in set usage
minor midifications for better code readability
rewritten mvine building in iterative manner
refactored mvine methods