Pipeline assertion
Passes if x is a Pipeline value.
x
Any
Expect_pass if a Pipeline; Expect_stop otherwise.
Expect_pass
Expect_stop
assert(expect_pipeline(p))