Features:
* one small fix that we needed to patch for (atomicity of CallInstruction)
* removes the ambiguous scheduling warning