added taintset cardinality and compute number limits as panda args