Class AbstractEffectiveStatementInference.WithPath<T extends EffectiveStatement<?,​?>>