Fixed stupid errors
Updated the icecream example
Merge branch 'smt'
fixed another bug