Added a proviso to behClosure so it can semantically split the dynamic activity of the encapsulated signal when it goes through behDisjoin. This semantic goal is achieved by duplicating that signal and then masking it to match each parameter signal.