Add refinement machines