\chapter{Introduction}

Linearization gives a model a more regular structure.

Regular structure improves prospects of automated analysis and refactoring, which may in turn boost performance.

\lpeq{} is not intended to be fast/optimal.

\lpeq{} is developed as a more easily maintainable version of an existing implementation.

