Bugfix: AbstractRegularExpression.clone should call toAutomaton() instead of directly using the field to avoid null pointer exception.