New translator features: expand define-funs and combine assertions.