public static String divider = "----------------" ;
public static void print(Store store, Query query, QueryEngineSDB queryEngine)
{
if ( queryEngine == null )
queryEngine = new QueryEngineSDB(store, query) ;
Op op = queryEngine.getPlan().getOp() ;
System.out.println(op.toString(query.getPrefixMapping())) ;
}