Predicate InitializerSplitting::constructorInitializes
Holds if c is a non-static constructor that performs the initialization
of a member via assignment init.
Import path
import semmle.code.csharp.controlflow.internal.Splittingpredicate constructorInitializes(InstanceConstructor c, AssignExpr init)