- First version of DTM OCL invariants auto-completion.