changing text of multiple_choices_exc_t message to be more helpful
fixing crash when changing conflicted semilattice value without resolve