Adding everything for basic scalar range analysis