Use asserts in y-combinator deriv
Simple pipelining