Correctly record alloca type level