Added Fixpointtests