This is now tracked in https://github.com/gwicke/testreduce/issues/25