Fixed most parts of passing limits to calls.
Added some analysis to recognize trivial cases where adding checks are unnecessary (loading data from constant offset of constant base value)