SPEC_N_1_IMP_SUC is an instance of SPEC_N_COMPOSE