Searching in c-refinement/tests/poly-mono