Added new parsing pruning resembling the PRUNE_BY_REPATED_LCA, which was disabled
because it was failed to behave correctly when contracts with parameters.
Now we are conservative enough so that we can re-enable it, since we only consider
atomicity violations reported when they are truly reported.
Profiling vars are now presented in alphabetical order.