Test: one word list and double of that word
TPP: unconditional -> if, and the new execution path is "nil -> constant"