def _latch_name(node, syntax):
    """Return latch name for `node`."""
    # terminal ?
    if node.var is None:
        latch = syntax['TRUE']
    else:
        # avoid identifiers containing `-`
        node_id = str(int(node)).replace('-', 'n')
        latch = 'latch_{i}'.format(i=node_id)
    return latch