f 0 cons 0 f s 0 f s 0 f p s 0 p s X X f 1 1 0 0 cons 2 1 s 1 1 p 1 1 FULL ./TRS/CSR/ExProp7_Luc06.trs