Checking dimamically bounded loop using assumptions.