Fix analysis works for fixpoints that return a value of kind *