<?xml version="1.0" encoding="UTF-8"?> <?xml-stylesheet href="xtc2tpdb.xsl" type="text/xsl"?> <problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" type="termination" xsi:noNamespaceSchemaLocation="http://dev.aspsimon.org/xtc.xsd"> <trs> <rules> <rule> <lhs> <application> <application> <funapp> <name>app</name> </funapp> <application> <funapp> <name>lam</name> </funapp> <lambda> <var>%X</var> <type><basic>A</basic></type> <application> <var>F</var> <var>%X</var> </application> </lambda> </application> </application> <var>Y</var> </application> </lhs> <rhs> <application> <var>F</var> <var>Y</var> </application> </rhs> </rule> <rule> <lhs> <application> <funapp> <name>lam</name> </funapp> <lambda> <var>%Y</var> <type><basic>A</basic></type> <application> <application> <funapp> <name>app</name> </funapp> <var>U</var> </application> <var>%Y</var> </application> </lambda> </application> </lhs> <rhs> <var>U</var> </rhs> </rule> <rule> <lhs> <application> <application> <application> <funapp> <name>case</name> </funapp> <application> <funapp> <name>inl</name> </funapp> <var>V</var> </application> </application> <lambda> <var>%U</var> <type><basic>A</basic></type> <application> <var>I</var> <var>%U</var> </application> </lambda> </application> <lambda> <var>%Z</var> <type><basic>B</basic></type> <application> <var>J</var> <var>%Z</var> </application> </lambda> </application> </lhs> <rhs> <application> <var>I</var> <var>V</var> </application>
content may be truncated. 'popout' for larger text window.