filter fusion impl
remove warnings, add diagnosis printing. ILP for filtering seems rather slow; I suspect we could get rid of lots of the constraints. it works, at least