Moving symbolic++.h to function.cpp fixes the issue