Add basic comments to run_internal_until