For example:
<count-bottomup(?Some(_))> Some(3)

During the traversal, strategy thread-replacement is invoked with input (3,0).

  thread-replacement(s) :
    (c#(ts), x) -> (c#(ts'), y)
    where <thread-map(s)> (ts, x) => (ts', y)

The difference I noticed with ctree and Java is that debugging c results in 3 in case of ctree but in (3,0) in case of Java.

Submitted by Oskar van Rest on 19 September 2013 at 02:31

Forgot to mention: with ctree it works and the output is correct. With Java, the strategy fails.

Inserting env.setCurrent(tvars[0]); in between line 35 and 36 in SSL_get_constructor would fix this issue. Not sure if it makes sense that the constructor of an integer is the integer itself, but at least in this way it will behave the same as the ctree interpreter. I’ll make the change if there are no objections.

fixed