Module ExposedForTestingOnly
Import path
import semmle.code.csharp.dataflow.internal.SsaImplAliases
| phiHasInputFromBlockExt | NB: If this predicate is exposed, it should be cached. |
| ssaDefReachesReadExt | NB: If this predicate is exposed, it should be cached. |