added semantic checks for UT