Should the kernS function be passing this information to sympify in some way?