removed extra include from Mutex.cpp
added ConditionVariable
some more consistency checks in synchronizations classes