apro_gen: x_2_fromlist