def BoolS(name, explicit_name=None):
n = _make_name(name, -<NUM_LIT:1>, False if explicit_name is None else explicit_name)<EOL>return Bool('<STR_LIT>', (n,), variables={n}, symbolic=True)<EOL>
Creates a boolean symbol (i.e., a variable).

:param name:            The name of the symbol
:param explicit_name:   If False, an identifier is appended to the name to ensure uniqueness.

:return:                A Bool object representing this symbol.