Added arglists when returning executable actions from frontend to backend.
Added arglists when returning executable actions from frontend to backend.

MattiNieminen/clj-formal-specifications-app,MattiNieminen/clj-formal-specifications-app