Adrien: clean k-induction with actlits.