eq true eq eq eq false inf X cons take 0 X nil take s cons cons length nil 0 length cons s eq 0 true 0 false 0 inf 1 cons 0 take 2 0 0 nil 0 s 0 length 1 FULL ./TRS/TRCSR/Ex1_GL02a_L.trs