A Feasibility Study of Loop Bound Analysis for Loops with Disjunctive Guards Nick Gubbels Student Number: 0710288 N.Gubbels@student.ru.nl Master Thesis Computer Science Thesis Number: 666 November 2012 Supervisors: Prof. dr. Marko van Eekelen Rody Kersten MSc Dr. Sjaak Smetsers (Reader)