Avoid state space explosion with ECase that just writes a constant in each case
Avoid state space explosion with ECase that just writes a constant in each case

urweb/debian-urweb,thinkpad20/urweb,urweb/debian-urweb,thinkpad20/urweb,thinkpad20/urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb