Added possibility to define a user-specific inputStream.
if a temporary vertex is blessed, the given symbol tables are updated