Add pmres-reverse.
Enable trim() instead of minimize().