caracal: Static Analyzer for Starknet smart contracts