Practical assignment nr. 1 for the master course Automatic Program Analysis at Utrecht University - 2012/2013-4