26          m_expr(std::move(t_expr)),
 
   37    [[nodiscard]] CtrType type()
 const { 
return m_type; }
 
   39    void set_type(CtrType t_type) { m_type = t_type; }
 
   43    [[nodiscard]] 
const QuadExpr<Var>& expr()
 const { 
return m_expr; }
 
   45    void set_expr(
QuadExpr<Var>&& t_expr) { m_expr = std::move(t_expr); }