Fix typo
Add ServiceIsSynthetic Constraint