ERROR
REJECTED

certificate:
<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="cpf3HTML.xsl"?><certificationProblem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="cpf3.xsd"><cpfVersion>3.0</cpfVersion><lookupTables><ruleTable/></lookupTables><input><infeasibilityInput><ctrs><conditionType><oriented/></conditionType><rules><rule><funapp><name>add</name><funapp><name>0</name></funapp><var>x</var></funapp><var>x</var><conditions/></rule><rule><funapp><name>add</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>s</name><funapp><name>add</name><var>x</var><var>y</var></funapp></funapp><conditions/></rule><rule><funapp><name>mult</name><funapp><name>0</name></funapp><var>y</var></funapp><funapp><name>0</name></funapp><conditions/></rule><rule><funapp><name>mult</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>add</name><funapp><name>mult</name><var>x</var><var>y</var></funapp><var>y</var></funapp><conditions/></rule><rule><funapp><name>lte</name><funapp><name>0</name></funapp><var>y</var></funapp><funapp><name>true</name></funapp><conditions/></rule><rule><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><funapp><name>0</name></funapp></funapp><funapp><name>false</name></funapp><conditions/></rule><rule><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>lte</name><var>x</var><var>y</var></funapp><conditions/></rule><rule><funapp><name>minus</name><funapp><name>0</name></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>0</name></funapp><conditions/></rule><rule><funapp><name>minus</name><var>x</var><funapp><name>0</name></funapp></funapp><var>x</var><conditions/></rule><rule><funapp><name>minus</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>minus</name><var>x</var><var>y</var></funapp><conditions/></rule><rule><funapp><name>mod</name><funapp><name>0</name></funapp><var>y</var></funapp><funapp><name>0</name></funapp><conditions/></rule><rule><funapp><name>mod</name><var>x</var><funapp><name>0</name></funapp></funapp><var>x</var><conditions/></rule><rule><funapp><name>mod</name><var>x</var><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>mod</name><funapp><name>minus</name><var>x</var><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>s</name><var>y</var></funapp></funapp><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>y</var></funapp><var>x</var></funapp><funapp><name>true</name></funapp></condition></conditions></rule><rule><funapp><name>mod</name><var>x</var><funapp><name>s</name><var>y</var></funapp></funapp><var>x</var><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>y</var></funapp><var>x</var></funapp><funapp><name>false</name></funapp></condition></conditions></rule><rule><funapp><name>div</name><funapp><name>0</name></funapp><funapp><name>s</name><var>x</var></funapp></funapp><funapp><name>0</name></funapp><conditions/></rule><rule><funapp><name>div</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>0</name></funapp><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>true</name></funapp></condition></conditions></rule><rule><funapp><name>div</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>s</name><var>q</var></funapp><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>false</name></funapp></condition><condition><funapp><name>div</name><funapp><name>minus</name><var>x</var><var>y</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><var>q</var></condition></conditions></rule><rule><funapp><name>power</name><var>x</var><funapp><name>0</name></funapp></funapp><funapp><name>s</name><funapp><name>0</name></funapp></funapp><conditions/></rule><rule><funapp><name>power</name><var>x</var><var>n</var></funapp><funapp><name>mult</name><funapp><name>mult</name><var>y</var><var>y</var></funapp><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp><conditions><condition><funapp><name>mod</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp><funapp><name>0</name></funapp></condition><condition><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><var>y</var></condition></conditions></rule><rule><funapp><name>power</name><var>x</var><var>n</var></funapp><funapp><name>mult</name><funapp><name>mult</name><var>y</var><var>y</var></funapp><var>x</var></funapp><conditions><condition><funapp><name>mod</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp><funapp><name>s</name><var>z</var></funapp></condition><condition><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><var>y</var></condition></conditions></rule></rules></ctrs><infeasibilityQuery><rule><funapp><name>lte</name><funapp><name>s</name><var>x2</var></funapp><funapp><name>0</name></funapp></funapp><funapp><name>true</name></funapp></rule></infeasibilityQuery></infeasibilityInput></input><property><infeasibility/></property><answer><yes/></answer><proof><infeasibilityProof><rightInlineConditions><rules><rule><funapp><name>add</name><funapp><name>0</name></funapp><var>x</var></funapp><var>x</var><conditions/></rule><rule><funapp><name>add</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>s</name><funapp><name>add</name><var>x</var><var>y</var></funapp></funapp><conditions/></rule><rule><funapp><name>mult</name><funapp><name>0</name></funapp><var>y</var></funapp><funapp><name>0</name></funapp><conditions/></rule><rule><funapp><name>mult</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>add</name><funapp><name>mult</name><var>x</var><var>y</var></funapp><var>y</var></funapp><conditions/></rule><rule><funapp><name>lte</name><funapp><name>0</name></funapp><var>y</var></funapp><funapp><name>true</name></funapp><conditions/></rule><rule><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><funapp><name>0</name></funapp></funapp><funapp><name>false</name></funapp><conditions/></rule><rule><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>lte</name><var>x</var><var>y</var></funapp><conditions/></rule><rule><funapp><name>minus</name><funapp><name>0</name></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>0</name></funapp><conditions/></rule><rule><funapp><name>minus</name><var>x</var><funapp><name>0</name></funapp></funapp><var>x</var><conditions/></rule><rule><funapp><name>minus</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>minus</name><var>x</var><var>y</var></funapp><conditions/></rule><rule><funapp><name>mod</name><funapp><name>0</name></funapp><var>y</var></funapp><funapp><name>0</name></funapp><conditions/></rule><rule><funapp><name>mod</name><var>x</var><funapp><name>0</name></funapp></funapp><var>x</var><conditions/></rule><rule><funapp><name>mod</name><var>x</var><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>mod</name><funapp><name>minus</name><var>x</var><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>s</name><var>y</var></funapp></funapp><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>y</var></funapp><var>x</var></funapp><funapp><name>true</name></funapp></condition></conditions></rule><rule><funapp><name>mod</name><var>x</var><funapp><name>s</name><var>y</var></funapp></funapp><var>x</var><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>y</var></funapp><var>x</var></funapp><funapp><name>false</name></funapp></condition></conditions></rule><rule><funapp><name>div</name><funapp><name>0</name></funapp><funapp><name>s</name><var>x</var></funapp></funapp><funapp><name>0</name></funapp><conditions/></rule><rule><funapp><name>div</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>0</name></funapp><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>true</name></funapp></condition></conditions></rule><rule><funapp><name>div</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>s</name><funapp><name>div</name><funapp><name>minus</name><var>x</var><var>y</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp></funapp><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>false</name></funapp></condition></conditions></rule><rule><funapp><name>power</name><var>x</var><funapp><name>0</name></funapp></funapp><funapp><name>s</name><funapp><name>0</name></funapp></funapp><conditions/></rule><rule><funapp><name>power</name><var>x</var><var>n</var></funapp><funapp><name>mult</name><funapp><name>mult</name><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp></funapp><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp><conditions><condition><funapp><name>mod</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp><funapp><name>0</name></funapp></condition></conditions></rule><rule><funapp><name>power</name><var>x</var><var>n</var></funapp><funapp><name>mult</name><funapp><name>mult</name><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp></funapp><var>x</var></funapp><conditions><condition><funapp><name>mod</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp><funapp><name>s</name><var>z</var></funapp></condition></conditions></rule></rules><inlinedRules><inlinedRule><rule><funapp><name>div</name><funapp><name>s</name><var>x</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><funapp><name>s</name><var>q</var></funapp><conditions><condition><funapp><name>lte</name><funapp><name>s</name><var>x</var></funapp><var>y</var></funapp><funapp><name>false</name></funapp></condition><condition><funapp><name>div</name><funapp><name>minus</name><var>x</var><var>y</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><var>q</var></condition></conditions></rule><inlinedConditions><condition><funapp><name>div</name><funapp><name>minus</name><var>x</var><var>y</var></funapp><funapp><name>s</name><var>y</var></funapp></funapp><var>q</var></condition></inlinedConditions></inlinedRule><inlinedRule><rule><funapp><name>power</name><var>x</var><var>n</var></funapp><funapp><name>mult</name><funapp><name>mult</name><var>y</var><var>y</var></funapp><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp><conditions><condition><funapp><name>mod</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp><funapp><name>0</name></funapp></condition><condition><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><var>y</var></condition></conditions></rule><inlinedConditions><condition><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><var>y</var></condition></inlinedConditions></inlinedRule><inlinedRule><rule><funapp><name>power</name><var>x</var><var>n</var></funapp><funapp><name>mult</name><funapp><name>mult</name><var>y</var><var>y</var></funapp><var>x</var></funapp><conditions><condition><funapp><name>mod</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp><funapp><name>s</name><var>z</var></funapp></condition><condition><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><var>y</var></condition></conditions></rule><inlinedConditions><condition><funapp><name>power</name><var>x</var><funapp><name>div</name><var>n</var><funapp><name>s</name><funapp><name>s</name><funapp><name>0</name></funapp></funapp></funapp></funapp></funapp><var>y</var></condition></inlinedConditions></inlinedRule></inlinedRules><infeasibilityProof><infeasibleCompoundConditions><name>|</name><nonreachabilityProof><nonreachableTcap/></nonreachabilityProof></infeasibleCompoundConditions></infeasibilityProof></rightInlineConditions></infeasibilityProof></proof><metaInformation><toolInfos><toolInfo>nonreach</toolInfo><toolInfo>version: 1.3.0.0</toolInfo></toolInfos></metaInformation></certificationProblem>