Working on sppf sharing