added oracle information for state variables on HTMLReport