Function step_1 

pub(super) fn step_1(
    repr: &CompressedEdwardsY,
) -> (Choice, FieldElement51, FieldElement51, FieldElement51)