concrete execution of branches