Inline common path of pos.gives_check