make instrumentation printouts conditional on VASS_ff
When copying the leader fn, update paramMap for all of the copy's formals, not just "tag"