[logic] make {iter,fold}_code_annot operate on normalized annotations

i.e. they will present at most one AAssigns and AAllocates per set of behaviors.