Refactored verifier selection and unrolling in SMACK scripts.
Added inline attribute to function definitions in our prelude.