analyze: assertion failure on enum construction

[spernsteiner]

c2rust-transpile uses Option<fn(...)> to represent C function pointers, which can be null. This means it often emits code like fp = Some(f). dataflow::type_check currently fails on this code, since the Rvalue::Aggregate case assumes the ADT being constructed is either a struct or an enum.