Basic memory safety and Stack update predicates.