Attempt to make a more memory-efficent test case generation (may fix CI?)