def sanitize_symbolname(name):
return re.subn('<STR_LIT>', '<STR_LIT:_>', name)[<NUM_LIT:0>]<EOL>
Sanitize all characters not matched to a symbol by sympy's parse_expr.

Based on same rules as used for python variables.