Function re_star 

pub fn re_star(r: RegLan) -> RegLan

Kleene closure

Example

use aws_smt_strings::smt_regular_expressions::*;

let r = re_star(re_union(str_to_re(&"aba".into()), str_to_re(&"cc".into())));
assert!(str_in_re(&"ccccabacc".into(), r));