Changed Chain evaluation fn signature
Refactor Assertion to use Chain