JC: added executed_contract_total to model. spec passes.