Always pass state pointer to C state actions / transition predicates

Cleaner this way, less magic in our translation. Encourages a
object oriented C programming style.
TEMP: notes on more complex DSL cases