mvine stack is now an instance variable of mvine
mvine's root_strength is now an instance variable
refactored a method in mvine: all_constraints_that_determine_a_var_in
refactored a method in mvine: is_possible_method
minor refactoring