make ndisj hints look through definitions to unfold more stuff

2 jobs for master in 17 minutes and 49 seconds (queued for 63 minutes and 13 seconds)
Status Name Job ID Coverage
  Test
passed iris-coq8.5.3 #1924
coq

00:12:47

passed iris-coq8.6beta #1925
coq

00:05:02