Reasoning -- A Uniform and Certified Approach for Two Static Analyses -- Solving Two