Bug fixes in intraprocedural analysis