add create functions to submodules
add create functions to submodules

also remove the array type because arrayoob is under UB

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer