Error in transformation remove
The error returned by remove should be improved. Instead of "ident not yet declared", it should print something like "cannot remove x since it appears in H".
The error returned by remove should be improved. Instead of "ident not yet declared", it should print something like "cannot remove x since it appears in H".