Fixed broken symbolic type test