replace global_assumptions with assuming in docs