Implemented general domain analysis