(type-case ISE-Value (vals-val result)
                                                                                                                                         [numV (n) (not (= 0 n))]
                                                                                                                                         [else #t]))

_________________________________

[filtered-values (filter numV-n (if (rejected? mapped-values) empty mapped-values))])