Refactor AbstractEffectiveStatementInference