Added variable resolution PP rules from #10.