(all patterns): Update instruction generation to reflect new meanings of constraints...