Model:

Test case:

let mut model = cm("");
assert_eq!(tx(&model), "");