Merge [Pthread] and [Pcont] in type [_ sg]
Print names of user-defined procedures
Clean up