Resolved literal reduction ; shift-or-reduce: