support non-symbolic branches during symbolic execution