fix unique_ptr bug
add a FIXME
less memory in simplifier