Efficient Cell Labelling and Path Non-existence Computation using C-obstacle Query