Fix statistics

Attempted fix for https://github.com/runtimeverification/javamop/issues/2.