gt 0 Y false gt s X 0 true gt s X s Y gt X Y p 0 0 p s X X if true X Y X if false X Y Y minus X Y if gt Y 0 minus p X p Y X div 0 s Y 0 div s X s Y s div minus X Y s Y gt 2 1 2 0 0 false 0 s 1 1 true 0 p 1 1 if 3 1 minus 2 1 2 div 2 1 2 FULL ./TRS/aprove08-csr/csrdiv.trs