Show correctness of NRA eval wrt to a lazy kind of semantics for Cartesian product
Show correctness of NRA eval wrt to a lazy kind of semantics for Cartesian product

querycert/qcert,querycert/qcert,querycert/qcert,querycert/qcert,querycert/qcert