<?xml version="1.0" encoding="UTF-8" standalone="no"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" type="termination" xsi:noNamespaceSchemaLocation="/xtc.xsd"> <trs> <rules> <rule> <lhs> <funapp> <name>i</name> <arg> <funapp> <name>i</name> <arg> <funapp> <name>realu_div</name> </funapp> </arg> <arg> <funapp> <name>i</name> <arg> <funapp> <name>realu_abs</name> </funapp> </arg> <arg> <funapp> <name>i</name> <arg> <funapp> <name>i</name> <arg> <funapp> <name>realu_add</name> </funapp> </arg> <arg> <funapp> <name>i</name> <arg> <funapp> <name>i</name> <arg> <funapp> <name>realu_mul</name> </funapp> </arg> <arg> <funapp> <name>i</name> <arg> <funapp> <name>i</name> <arg> <funapp> <name>realu_sub</name> </funapp> </arg> <arg> <funapp> <name>i</name> <arg> <funapp> <name>i</name> <arg> <funapp> <name>d_</name> </funapp> </arg> <arg> <var>b</var> </arg> </funapp> </arg> <arg> <funapp> <name>i</name> <arg> <funapp> <name>NUMERAL</name> </funapp> </arg> <arg> <funapp> <name>i</name> <arg> <funapp> <name>BIT1</name> </funapp> </arg> <arg> <funapp> <name>u_0</name> </funapp> </arg> </funapp> </arg> </funapp> </arg> </funapp> </arg>
content may be truncated. 'popout' for larger text window.