Lemmas About the Distribution Semantics of simulateQ

This file collects various lemmas about the output distributions of simulateQ

TODO: probably put these in simulate folder as about the query impl itself