Interface UnknownEffectiveStatement<A,​D extends UnknownStatement<A>>