Ask anything to test solidity-contract-audit's tools