manybugs:gmp:13420-13421 sanity tests don't pass

[pdreiter]

running:
bugzoo source add manybugs https://github.com/squaresLab/ManyBugs.git
bugzoo bug build manybugs:gmp:13420-13421
bugzoo container launch --with genprog manybugs:gmp:13420-13421
..in container..
%> genprog configuration-default
<...stdout...>
p34: true (1)
p35: false (0)

ABORT:

cachingRepresentation: sanity check failed (p35)
Rep: saving test cache

Variant Test Case Queries: 0
"Test Suite Evaluations": 0

Compile Failures: 0
Wall-Clock Seconds Elapsed: 23.2172
Activity Name Count Seconds = Percent of Total Time
compile 1 3.074 = 13.3167%
test 38 20.006 = 86.6773%
TOTAL 23.081 = 99.3797% (avg CPU usage)
docker@3342f2c54005:/experiment$