CBMC not accepting C++ program with iostream header

[JagadeepSai]

g++ version : 5.4.0
CBMC version:5.11
Operating system:Ubuntu 16.04.11
Exact command line resulting in the issue: cbmc temp.cpp
What behaviour did you expect:
What happened instead: ERROR

CBMC version 5.11 (cbmc-5.11) 64-bit x86_64 linux 
Parsing temp.cpp
Converting
Type-checking temp
file /usr/include/c++/5/iosfwd line 147: symbol 'basic_stringbuf' is unknown
CONVERSION ERROR

File temp.cpp is

#include <iostream>
int main(){
}

basic_stringbuf is defined in class sstream. But its unable to find it.

[hannes-steffenhagen-diffblue]

Current C++ support is rudimentary/experimental. Most C++ programs will not work. While unfortunate, I wouldn’t expect this to change in the short term.