convert_model_dots function

Converts dot operator to terms