Practical assignment nr. 2 for the master course Automatic Program Analysis at Utrecht Univeristy, 2013/2014-4