Got to compile by hardcoding in the specific analyzer/solver in FindRedundantNullChecks