Update semantics and add semantics test