Init: explores object state in functions
Init: explore variable state within functions
Init: explores function argument states for non-mutable objects