;; Control Flow Level

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; TYPES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(add_type node)
(add_type depth)

;; Redundancies
(add_type process)
(add_type string)
(add_type waveform)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; PREDICATES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(add_predicate is_start_node node process)
(add_predicate has_option node string)
(add_predicate node_connect node node)

;;; To be removed soon.
(add_predicate expr_writes node waveform)

(add_predicate is_read_structure node string)
(add_predicate is_read_element node string waveform)
(add_predicate is_read_element node string string)
(add_predicate is_terminal node)

(add_predicate is_lower_than depth depth)

(add_function label node string)
(add_function kind node string)
(add_function depth node depth)