the first call solve_propagate() has bound the L, Line1, Line2(they are all list). I want get the fisrt element of L (variable first) and use to in the next call stato_img(). But it does not work. The program stops at L = [first|_] and gives a warning "user directive failed". I want to know what the problem is and how to solve it. Thank you!