bounded_loop_assumptions.ll 2.26 KB