lu as_terminalization and various corrections