error: Invalid flag: --function should be provided to Kani directly, not via