A note on speeding up DC-checking for STNUs