In reply to hcglu:
Perfect so there is no real reason or advantage why should be using those tasks instead of passing signals explicitly.
I believe you are using those along with the checker for reusability so, not for non deterministic modelling am i right? Just trying to get more from the usage you are doing. Regards