Added branch analysis and started creating range analysis, not yet working.