generate supremum constraints for constructor applications