andtrueXiftrueXiffalseYadd0Xandfalsefalseaddssfirst0Xnilfirstsconsconsfromconsand1true0if1false0add100s0first2nil0cons0from0FULL./TRS/TRCSR/Ex15_Luc98_L.trs