Theorem exprMatchObjectWithAnyEmpty : forall o,
  exprMatchObjectEvalF o (EMO_WithAttributesAny (AttributeNameMaps.empty attributeValue)) = false.
Proof.
  (* Proof omitted for brevity; see Matches.v for proofs. *)
Qed.
