Revised Solution
Next := Im & (Im@n | Im@nw | Im@w);
Next := Next | (Im@w & Im@n & !Im);
Conn := Im@e | Im@se | Im@s;
Conn := Im & !Next & !Conn;
This optimization makes sense because the CTA assumes
asynchronous communication allowing communication to
overlap with computation ... Other improvements?