Issue 1184: Adding the option to keep noop operators

Title	Adding the option to keep noop operators
Priority	feature	Status	unread
Superseder		Nosy List	haz, jendrik, malte
Assigned To		Keywords
Optional summary	This is akin to --keep-unimportant-variables, but for the operaters/actions. We'd like the command line to have a translator option to --keep-noop-operators so that they aren't discarded. This touches on several places where an operator or action (depending on where in the process you are) is removed if the effects are empty. Default should be false, but this would help those of us using the FD translator for other paradigms (FOND, PPOS, PPDDL, etc).

Created on 2025-05-12.15:52:37 by haz, last changed by malte.

This is akin to --keep-unimportant-variables, but for the operaters/actions.

We'd like the command line to have a translator option to --keep-noop-operators so that they 
aren't discarded. This touches on several places where an operator or action (depending on where 
in the process you are) is removed if the effects are empty. Default should be false, but this 
would help those of us using the FD translator for other paradigms (FOND, PPOS, PPDDL, etc).

History
Date	User	Action	Args
2025-05-12 18:39:14	malte	set	nosy: + malte, haz, jendrik
2025-05-12 15:52:37	haz	create

Issue1184