Check compatibility if a n-ary's set of operands contains a terminal.