Function predicate_operand 

fn predicate_operand(gcx: Gcx<'_>, expr: &Expr<'_>) -> Option<Operand>