replace in_fun assumptions before removing in_bool assummptions
because the former may generate new instances of the latter