Fixed reduction prioritization rules
Fixed a typo in LamTranslator