compile/sla-effect-shape

Generated from the language definition for language 1.0.

Summary: an sla block uses an effect that needs a transition

Fix: keep engine actions in the sla block; put do notify and do schedule on a transition