QuicMaf/QuicMaf/maths/solver/term_rewriter/QMReducer.h