some small modifications
adding TIR representation