added addExecutionState() method and test