Extension of the execution term