Added support for specifying initial prefixes in lstar-generic