fixed the issues with lossy-finite-automaton and
lossy-regular-expression: apparently "SR star()" is not the same
signature as "SR star() const".... who knew