Predicate EmptyExcept::encode_decode

predicate encode_decode(Expr ex, ClassObject type)