8081828384858687
return targetVariable instanceof JParameter || targetVariable instanceof JLocal; } }); AssumptionUtil.setAssumptions(g.getOutEdges(node), result.unwrap(), assumptionMap); } }