remodularized Stratego code