java.lang.RuntimeException: Disjunct.addBindingsForSymbolupdate_source got an invalid state number: paramLocal1$526
	at tracematches.Disjunct$tracematch$0.addBindingsForSymbolupdate_source(Jasmin)
	at tracematches.Constraint$tracematch$0.getBindingsForSymbolupdate_source(Jasmin)
	at tracematches.FailSafeEnum.after$3(tracematches\FailSafeEnum.java)
	at CH.ifa.draw.standard.CompositeFigure.add(CH\ifa\draw\standard\CompositeFigure.java:54)
	at CH.ifa.draw.samples.javadraw.BouncingDrawing.add(CH\ifa\draw\samples\javadraw\BouncingDrawing.java:25)
	at CH.ifa.draw.standard.StandardDrawingView.add(CH\ifa\draw\standard\StandardDrawingView.java:170)
	at CH.ifa.draw.standard.CreationTool.mouseDown(CH\ifa\draw\standard\CreationTool.java:77)
	at CH.ifa.draw.standard.StandardDrawingView.mousePressed(CH\ifa\draw\standard\StandardDrawingView.java:411)
	at java.awt.Component.processMouseEvent(Component.java:5097)
	at java.awt.Component.processEvent(Component.java:4897)
	at java.awt.Container.processEvent(Container.java:1569)
	at java.awt.Component.dispatchEventImpl(Component.java:3615)
	at java.awt.Container.dispatchEventImpl(Container.java:1627)
	at java.awt.Component.dispatchEvent(Component.java:3477)
	at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:3483)
	at java.awt.LightweightDispatcher.processMouseEvent(Container.java:3195)
	at java.awt.LightweightDispatcher.dispatchEvent(Container.java:3128)
	at java.awt.Container.dispatchEventImpl(Container.java:1613)
	at java.awt.Window.dispatchEventImpl(Window.java:1606)
	at java.awt.Component.dispatchEvent(Component.java:3477)
	at java.awt.EventQueue.dispatchEvent(EventQueue.java:480)
	at java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:201)
	at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:151)
	at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:145)
	at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:137)
	at java.awt.EventDispatchThread.run(EventDispatchThread.java:100)