Function then 

pub fn then(root: &Path, cmd: &str) -> String

Run cmd through sem check --run once the edits are written, so an edit and its check take one call; it joins the speculative run if there is one.