MeTTaLog fails to correctly evaluate a curried nested call

[ngeiswei]

What is your problem?

MeTTaLog fails to correctly evaluate a simple curried nested call.

How to reproduce your problem?

Run the following MeTTa program with MeTTaLog

(= (foo A) A)
(= ((bar $x) $x) (== $x (foo $x)))
!((bar A) A)

What do you get?

[False]

What would you normally expect?

[True]

What else do you have to say?

If I flatten bar, i.e. replace

(= ((bar $x) $x) (== $x (foo $x)))
!((bar A) A)

by

(= (bar $x $x) (== $x (foo $x)))
!(bar A A)

then it works.

[TeamSPoon]