adding another verify ir test
small enhancements
more changes