Important bug fix in Liveness Set Search