implement exec-Branch-Conditional