KRNL - Wisdom for your smart contracts