add "Operational Semantics for Multi-language Programs"
factor out helper functions