Function validate_expr 

pub fn validate_expr(
    expr: &LcnfExpr,
    bound: &HashSet<LcnfVarId>,
) -> Result<(), ValidationError>

Validate an expression with respect to a set of bound variables.