hs-log: constraint more full inversion predicate.
hs-log: constraint more full inversion predicate.

alexanderkyte/mitls-f7,alexanderkyte/mitls-f7,alexanderkyte/mitls-f7,alexanderkyte/mitls-f7,alexanderkyte/mitls-f7