Remove scHoleInferState: dead code