green test for input/output equivalence