* fixed type information loss while fetching call arguments
* output_text() now displays call arguments under call