adding fixed point iteration infrastructure