static analysis of surely bound variables in federated queries improved - small changes...