prag($normalize_var_occ,7, index).
prag($norm_pvars_seen,2, index).
prag($normalize1,3, index(2)).
