Add ISA constraint