Compute ambient coeffects and write to coeffects local