Lines Matching defs:getAssumedSimplifiedValues