The processus $ps.LABEL$ (from file $ps.FILE$, line $ps.LINE$, column
$ps.COLUMN$) is combinational.