added unit test for the bug fix for BuiltinList