Although `ANDOR`, `AND`, and `ONEOF` constraints are well handled by #203, `TOTAL_OVER` is not supported yet.