Merge branch 'Sergio' of kaz2.dsic.upv.es:program-slicing/SDG into Sergio