static analysis of surely bound variables in federated queries improved...