Reproducing #35: shrinking does not seem to respect when() antecedents

10 should never come up as an input value which is failing the test:
[10:57:49][giorgio@Bipbip:~/code/eris]$ vendor/bin/phpunit --repeat 1000 examples/S
hrinkingTest.php  | grep number | sort | uniq -c
     13 The number 10 is not multiple of 3
     33 The number 13 is not multiple of 3
     35 The number 16 is not multiple of 3
     43 The number 19 is not multiple of 3
     27 The number 22 is not multiple of 3
     35 The number 25 is not multiple of 3
     28 The number 28 is not multiple of 3
     41 The number 31 is not multiple of 3
     27 The number 34 is not multiple of 3
     31 The number 37 is not multiple of 3
     40 The number 40 is not multiple of 3
     33 The number 43 is not multiple of 3
     34 The number 46 is not multiple of 3
     35 The number 49 is not multiple of 3
     39 The number 52 is not multiple of 3
     28 The number 55 is not multiple of 3
     26 The number 58 is not multiple of 3
     37 The number 61 is not multiple of 3
     27 The number 64 is not multiple of 3
     34 The number 67 is not multiple of 3
     47 The number 70 is not multiple of 3
     27 The number 73 is not multiple of 3
     36 The number 76 is not multiple of 3
     34 The number 79 is not multiple of 3
     35 The number 82 is not multiple of 3
     29 The number 85 is not multiple of 3
     33 The number 88 is not multiple of 3
     42 The number 91 is not multiple of 3
     32 The number 94 is not multiple of 3
     39 The number 97 is not multiple of 3