In reply to ben@SystemVerilog.us:
I would put the module variables needed for the assertions within the main task.