Added support for multiple clock domains to "abc" pass