Class AbstractConstraintEffectiveStatement<A,​D extends DeclaredStatement<A>>