k3-sle: Remove automatically generated Xtext files
k3-sle: Avoid creating the same operation multiple times in target code