(*

The system should find that c:secret[] is not reachable

*)

pred c/1 elimVar, decompData.
nounif c:x.

fun a/0.
fun b/0.

query c:secret[].

equation a = b.

reduc

a <> b -> c:secret[].

(* EXPECTPV
RESULT goal unreachable: c:secret[]
0.004s (user 0.000s + system 0.004s), max rss 6536K
END *)
