Fix warnings

Author: Virgil Serbanuta

semantics/common/compat.k

@@ -86,7 +86,7 @@ module COMPAT-KAST [kast]
      imports BOOL
      imports K-EQUAL
 
-     rule some(.Map::Map, Lbl:K) => false
+     rule some(.Map::Map, _Lbl:K) => false
      rule some(K1:KItem |-> K2:KItem M::Map, #klabel(Lbl:KLabel)) => Lbl(K1, K2) orBool some(M, #klabel(Lbl)) [owise]
 
      rule mapList(ListItem(K:KItem) L:List, #klabel(Lbl:KLabel)) => ListItem(Lbl(K)) mapList(L, #klabel(Lbl))

semantics/common/symloc.k

@@ -288,7 +288,7 @@ module SYMLOC
      rule stripFromArray(Loc:SymLoc) => Loc [owise]
 
      rule getFromArray(loc(_, _, SetItem(fromArray(...) #as F::Provenance) _)) => F
-     rule getFromArray(Loc::SymLoc) => .K [owise]
+     rule getFromArray(_::SymLoc) => .K [owise]
 
      rule stripProv(loc(Base:SymBase, Offset:Int, _)) => loc(Base, Offset)
      rule stripProv(loc(Base:SymBase, Offset:Int)) => loc(Base, Offset)