remove singledef option
partial flow-sensitivity
step for sparse analysis
print format change for stepf