re-enable symbolic test cases