Title: Compact Constraints for Verification of Well Quasi-Ordered Programs