for testing branching concepts