Predicate UninitializedLocal::allocatedType

Auxiliary predicate: Types that don’t require initialization before they are used, since they’re stack-allocated.

predicate allocatedType(Type t)