Require Import ssr.ssrbool.
Set Warnings "-ssr-search-moved".
Search headconcl:(~~ _).