/* this file tests the various Reach operators */
fail(
""

+           "\"abcdef\"[2..4] = "
+     string "abcdef"[2..4]
+"\n"
+           "\"abcdef\"[..4] = "
+     string "abcdef"[..4]
+"\n"
+           "\"abcdef\"[2..] = "
+     string "abcdef"[2..]
+"\n"

+           "name P 1 = "
+     string name P 1
+"\n"
+           "# P name P 1 = "
+     string # P name P 1
+"\n"
+           "name T 1 = "
+     string name T 1
+"\n"
+           "# T name T 1 = "
+     string # T name T 1
+"\n"
+           "name S 1 = "
+     string name S 1
+"\n"
+           "# S name S 1 = "
+     string # S name S 1
+"\n"

+           "true = "
+     string true
+"\n"
+           "false = "
+     string false
+"\n"

+           "gather c in CONDITIONS s.t. is_init c { c } = "
+     string gather c in CONDITIONS s.t. is_init c { c }
+"\n"
+           "gather e in EVENTS s.t. is_init e { e } = "
+     string gather e in EVENTS s.t. is_init e { e }
+"\n"
+           "gather p in PLACES s.t. is_init p { p } = "
+     string gather p in PLACES s.t. is_init p { p }
+"\n"
+           "gather t in TRANSITIONS s.t. is_init t { t } = "
+     string gather t in TRANSITIONS s.t. is_init t { t }
+"\n"
+           "gather s in SIGNALS\DUMMY s.t. is_init s { s } = "
+     string gather s in SIGNALS\DUMMY s.t. is_init s { s }
+"\n"

+           "gather e in EVENTS s.t. is_cutoff e { e } = "
+     string gather e in EVENTS s.t. is_cutoff e { e }
+"\n"
+           "gather e in EVENTS s.t. is_cutoff e { e } = CUTOFFS = "
+     string (gather e in EVENTS s.t. is_cutoff e { e } = CUTOFFS)
+"\n"

+           "gather s in SIGNALS s.t. is_input s { s } = "
+     string gather s in SIGNALS s.t. is_input s { s }
+"\n"
+           "gather s in SIGNALS s.t. is_input s { s } = INPUTS = "
+     string (gather s in SIGNALS s.t. is_input s { s } = INPUTS)
+"\n"
+           "gather s in SIGNALS s.t. is_output s { s } = "
+     string gather s in SIGNALS s.t. is_output s { s }
+"\n"
+           "gather s in SIGNALS s.t. is_output s { s } = OUTPUTS = "
+     string (gather s in SIGNALS s.t. is_output s { s } = OUTPUTS)
+"\n"
+           "gather s in SIGNALS s.t. is_internal s { s } = "
+     string gather s in SIGNALS s.t. is_internal s { s }
+"\n"
+           "gather s in SIGNALS s.t. is_internal s { s } = INTERNAL = "
+     string (gather s in SIGNALS s.t. is_internal s { s } = INTERNAL)
+"\n"
+           "gather s in SIGNALS s.t. is_dummy s { s } = "
+     string gather s in SIGNALS s.t. is_dummy s { s }
+"\n"
+           "gather s in SIGNALS s.t. is_dummy s { s } = DUMMY = "
+     string (gather s in SIGNALS s.t. is_dummy s { s } = DUMMY)
+"\n"
+           "gather s in SIGNALS s.t. is_local s { s } = "
+     string gather s in SIGNALS s.t. is_local s { s }
+"\n"
+           "gather s in SIGNALS s.t. is_local s { s } = LOCAL = "
+     string (gather s in SIGNALS s.t. is_local s { s } = LOCAL)
+"\n"

+           "gather e in EVENTS s.t. is_plus e { name tran e } = "
+     string gather e in EVENTS s.t. is_plus e { name tran e }
+"\n"
+           "gather e in EVENTS s.t. is_minus e { name tran e } = "
+     string gather e in EVENTS s.t. is_minus e { name tran e }
+"\n"
+           "gather t in TRANSITIONS s.t. is_plus t { name t } = "
+     string gather t in TRANSITIONS s.t. is_plus t { name t }
+"\n"
+           "gather t in TRANSITIONS s.t. is_minus t { name t } = "
+     string gather t in TRANSITIONS s.t. is_minus t { name t }
+"\n"

)