cons x cons y z big inf x cons x inf s x 2.2 inf x inf s x inf x cons x inf s x true inf x inf s x true Failed! NaTT certifiable-1.6