Checking for array allocator expressions
Checking for implicit array access dereference
type_set_push_universal is redundant
Fix mistake in checking rule for array allocator