Part 4 done?

Added implementations of havoc and assume.