Before branching to allow refinement via aliases