add #root and int constraints to #match