An intraprocedural nullness analysis that computes for each location and each value
in a method if the value is (before or after that location) definetely null,
definetely non-null or neither.
An intraprocedural nullness assumption analysis that computes for each location and each value
in a method if the value (before or after that location) is treated as definetely null,
definetely non-null or neither.