Specific message for each combination advice kind x contract.
Entry through core and project rebuilding.
Z3 logic segmented in more methods and now also in clojure.
Z3 working.