hacprsim false positive error on channel connections

[nbingham1]

export defchan ev1of2 <: chan(int) (bool d[2], f, t, v, e) { f = d[0]; t = d[1]; }

export defproc source(ev1of2 ch) { bool _ch_e, _ch_v; prs { ch.e => _ch_e- _ch_e => ch.f- _ch_e | ~_ch_e -> ch.t- } ch.v = ch.f; }

source dut;

prsim> channel dut.ch ev:0 :0 d:2 Channel acknowledge is not allowed to alias any of its data rails! error at line 1

[fangism]

Few things:

1. the message wrongly points to the acknowledge being the problem
2. I need to consider whether I can permit data-rail to alias validity.