{"known":["build","run"],"comment":"interface model: cannot build, non-det illegal: run does not agree with traces"}