I noticed that the patterns for red and nac (and presumably green) are not correctly created in the presence of binding patterns. Attached are two example specifications. For the red pattern there is no reference created (can be seen in the dump view)