Use nested state to simplify construction syntax
Helper function to run computations over the inner CState