Remove temporary latex files.
Remove temporary latex file
Reorganize definitions of queries, move definiton of selectivity and cardinality, and define appropriate symobols for them.