- Adding smt ocl auto-completion for initial expressions and some test for critical parts.