Support for empty witnesses