k3-examples: Partial specialization of Xtend compiler in XtendSLE