Semi-tested semantic analysis, minus branching and loops