Couple of fixes to the visitor
Merge remote-tracking branch 'origin/sdf' into newpog
Update dwarf results with additional renames.
Add suport for printing def only and full predicates.
Initial version of PO detial preferences.
Add precondition to explicit op contexts.