free_predicate
free_predicate(prog[i].pred);
free_predicate(pred);
free_predicate(prog_stack[i].pred);