implemented evaluation of primitive expressions with div-by-zero-check