Addresses issue #289.  Requires testing.  No change in semantics of -topg_to_phi option.  In particular, this mechanism cannot be turned on without the option (and all four parameters).  So the defaults for the four parameters are never actually used.