Since the k-cuts are pre-computed in the input design, it is possible to mark a matchable/unmatchable label for each cut and indicate these marks to the technology mapper.
we filter those pre­computed functions and indicate only TLFs to be matched.