Imroved OrthoProof analysis