Member predicate SsaImplicitInit::isParameterDefinition

Holds if the SSA variable is a parameter defined by its initial value in the callable.