Pr_circuit_problem_case