Checking cspFiles/Cell1.csp

Checking Test(inter(inputs(Cell1),outputs(Cell1)) == {}) [T= ERROR