(Binary Simulator) Fixed compiler errors due to API change on semantics2 branch