#19: Fix print message
#19: Extracting Activation slot class. It is supposed to be faster than dict
#19: Starting to integrate prov definition with prog execution in order to perform the slicing