Test code 'Polyvariadic fixpoint'