Detect properly static divisions by 0 in model and property

Detect properly static divisions by 0 in both the model and the property
So far `0/0` is detected and handled successfully; but `(2*3)/(2 - (1+1))` is not detected properly.