simulate_last_cex bug

[IslamHamada]

In file fuse.cpp, function simulate_last_cex, line 352, I believe there's a bug. The function add_cube_as_clause needs to be replaced by add_cube_as_cube. This bug lead to wrong results on some experiments I was performing. The change suggested above seems to fix it.