work on IR representation