fixing more issues cauesd by removal of symbolic.py