add resolution constraint