Faster Intraprocedural Analysis