Remove mutex from SynthesisContext, not needed