added missin reachable checks in RunBlockExpr::remit