Added assumption breach in State. enhanced evaluator to keep track of
assumption breach. A bug fix for multi-thread state.