IR/SSM: added stub for statements, add Show for SSM