minor changes to Terminate, revert_GUI functions
minor changes to Terminate, revert_GUI functions
changing_bits, see eval_function
changing_bits, see eval_function