Maybe `areReturnValueConstraintsIgnored*For*()` to by consistent with the others?