Parametrize analyzer state. Fixes #11.