FAILED
Error message:
[Error on node 42:refineFun 1, Error on node 29:refineFun 1]
        0.25 real         0.33 user         0.16 sys