prag($proc_occ1,4, index(3)).
prag($proc_mark_last_lits,1, index).
