- fix decision handling as reported by issue 49
- fix decision handling as reported by issue 49


l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror