evaluate substitution (Div   a b)  = (evaluate substitution a) / (evaluate substitution b)
evaluate substitution (Div   a b)  = (evaluate substitution a) / (evaluate substitution b)
evaluate substitution (Div   a b)  = (evaluate substitution a) / (evaluate substitution b)