def _add(self, s, c, track=False): 
raise BackendError("<STR_LIT>")<EOL>
This function adds constraints to the backend solver.

:param c: sequence of converted backend objects
:param s: backend solver object
:param bool track: True to enable constraint tracking, which is used in unsat_core().