[math] fix bugs in cond and while_loop when same variables are used in both branches

[math] fix bugs in cond and while_loop when same variables are used in both branches #395