(Binary Analysis) Added TestSemantics around the basic stuff