// query-type: graph
import sbb_test

class CutCall extends SubBasicBlockCutNode {
	CutCall() {
		mkElement(this).(FunctionCall).getTarget().getName() = "cut"
	}
}

from boolean isEdge, SubBasicBlock x, SubBasicBlock y, string label
where isNode(isEdge, x, y, label) or isSuccessor(isEdge, x, y, label)
select x.getEnclosingFunction().toString(), isEdge, x, y, label

