Solved inequiv_exercise.
optimize_0plus_aexp_sound.