add unsafe pointer comparison to utils
adapt currentlyDeducible and ProbablyDeducible
to take private function symbols into account
solve message where the outermost function symbol
is private early
solve message where the outermost function symbol
is irreducible early (e.g., hashes, macs, ...)
add two examples for private function symbols
add CAV submission example
cleanup/reorganize protocols models
fix printing of function symbol arity (include [private])
solve "small" split goals before OneWay functions
add/move examples
update version number in cabal files and add
examples
add entries to changelog