Learn basic flows starting from configuration of the tool, input and preparation of data, and output generation (SMT programs, Stencil and documentation).