Phase Extension and Refinement for Proteins Via a Partial Structure Based Tangent Formula