[fargo] implement real checks for forbidden refinement steps