refined constraint option processing