s_expressions-interpreter_tests: use the new Add procedure, to keep complete coverage