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