Build #1731088602:   minor optimization on branch master almost 4 years ago

Build #840324772:   bisimulation_algorithms -> bispy on branch master over 4 years ago