platin: local flow-fact transformation, deal with signed value ranges,