Added source-arguments and source-defn to show-strategy*
Added pvs 6.1
Added