Predicate signature Make0::InputSig1::inConditionalContext

Holds if n is in a conditional context of kind kind. For example, the left-hand side of a short-circuiting && expression is in a boolean conditional context.

This predicate is only relevant for AST constructs that are not already handled by this library.