builtin function: sum (also changed output of ask_lits