Replaced OptComma with ','? so that an ATerm constructor is not called.
Replaced OptComma with ','? so that an ATerm constructor is not called.
Replaced OptComma with ','? so that an ATerm constructor is not called.
Changed to use explicit lists to make traversal easier.
Changed to use explicit lists to make traversal easier.
Changed to use explicit lists to make traversal easier.
Changed to use explicit lists to make traversal easier.
Changed to use explicit lists to make traversal easier.
Changed to use explicit lists to make traversal easier.