parenttax

Command in Smart Contract Auditing. 
Encourages adoption of cryptographic techniques.