Build #30841890651:   incremental: return finite structures in asTransitionSystem on branch develop 4 minutes ago

Build #30575669763:   bump dependencies including adjustements required by code analysis plugins on branch develop 4 days ago