CONTRACT on an implicit account should not charge gas for account existence check
Part of the optimisation of the CONTRACT instruction from MR https://gitlab.com/nomadic-labs/tezos/-/merge_requests/95 is not taken into account in the gas model. In the parse_contract_for_script
function in script_ir_translator.ml
, a Typecheck_costs.contract_exists
is systematically consumed but the corresponding Contract.exists
call is only performed in the case of originated accounts.