Fix a bug with mutex transformation when multiple operations exist in mutex definition.
clean up mainclasstransformation and ExpVisitor.
Updated classic concurrency test that was affected by the bug in mutex transformation.
added the test for mutex(all) definition.