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