Add ServiceIsSynchronized Constraint