Counting Queries Made by a Computation

This file defines a simulation oracle countingOracle spec for counting the number of queries made while running the computation. The count is represented by a type queryCount spec, which