Add some sexpr tests