Improve SizeAnalysis to work for more programs.
Tweak ExplicitShapes to make the pass idempotent.