Modify 'case_arbitrary.py' to run test collectly