Evaluate progs with arity more than 1