Test + adding commRing_reduce.idr