fix bug that arises on java-symbolic backend when LIST module isn't imported