Added checkIR method unimplemented