<div>when i try the following, it only show passed after 1000 test one case rejected and repeated with a few lines, but do not show f x = if ( x &lt;= 0) 1 (x*f(x-1)) as paper systematic synthesis of functions</div>
<div> </div>
<div>which steps do i miss? </div>
<div> </div>
<div>module martin001</div>
<div>import gast, StdEnv</div>
<div>prop1 :: Fun -&gt; Bool<br>prop1 d = ~(f 2 == 2 &amp;&amp; f 4 == 24 &amp;&amp; f 6 == 720) where f = apply d</div>
<div>Start = test prop1</div>