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.Splitting
predicate
constructorInitializes
(
InstanceConstructor
c
,
AssignExpr
init
)