sets parser: allow define-fun/declare-fun of emptyset token