Two Case Studies for Jazzyk BSM