--TEST--
user() is a function, user(foo) is not. In this case user(foo) is completely folded away.
--INPUT--
1 USER(1)
--EXPECTED--
1 1
n USER
( (
1 1
) )