adding Symbolic Range Analysis