Correct name: OP(OP(x)) = x is involution, not idempotence.
[libfirm] / include /
drwxr-xr-x   ..
drwxr-xr-x - libfirm