More explicit syso, refractoring gotoInst variable, prepare for loops