A sequential post-selection testing procedure for univariate congruence models with nested and non-nested hypotheses | Synapse