HasTInfoTerminal
# define HasTInfoTerminal(sp) ((0 != TerminalOf(sp)) && IsTermInfo(sp))
# define HasTInfoTerminal(sp) (0 != TerminalOf(sp))