adds logic symbols table