Added contradiction removal. Still need to fix getting extra signals, because of inst emit stmt