reaching branch coverage