stateToAdd.isEmpty=true// This is a little weird. A lookaround has the 'isEmpty' flag set, even though it _isn't_ empty (the contents are the regex). But, there's so much error-checking that relies on this flag that it's better to keep it this way.
stateToAdd.isEmpty=true// This is a little weird. A lookaround has the 'isEmpty' flag set, even though it _isn't_ empty (the contents are the regex). But, there's so much error-checking that relies on this flag that it's better to keep it this way.
stateToAdd.content=newContents(EPSILON)// Ideally, an assertion shouldn't have any content, since it doesn't say anything about the content of string
stateToAdd.content=newContents(epsilon)// Ideally, an assertion shouldn't have any content, since it doesn't say anything about the content of string