Refinement of actions in Event Structures and Causal Trees