added reassessTheProposal on-proposal behavior;
added Conflict notification messages to the default language;
fixed DomainIterator.overSeq;
PriorityBased.askConflictResolver should throw exception on timeout;
arrows direction in the visualization fixed;