added semantic tests