Generates the code around the SBV functions to hold the state-updates, external variables, etc. Note: this just creates calls to SBV-generated functions, it does not create them! (Use the names from Common.hs to ensure agreement on names.)