change simset mutex to recursive_mutex