Fix term_is_undefined
First example
Travis