added usercode annotations to constraint collection; not sure we'll need
left and right annotations