slicing: FSS, better state dumping
pts-to: make the RuleExpressions code readable

Mostly white-space.
pts-to: make collectReturnRuleCodes more readable

Caching retVal is always a good thing to do (TM).