Added variable resoltion PP rules from #10.