correcting sets generation and adding (commented) reduction set generation