Statement.variableUse: made the result more precise: in case of concrete programs, we inline them before computing the free variables
Statement.variableUse: made the result more precise: in case of concrete programs, we inline them before computing the free variables

dominique-unruh/qrhl-tool