fixed type system errors in debugger tests