Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks