Update all the complex constraint examples to show turtle serialization along with concise Terp serialization)