Try using Actress on some existing examples, see How To Run Actress. Then try adding a repeat-until construct to the microSpecimen language, and use Actress to test the semantics.

N.B. It appears that anc assumes a different version of action notation from ani and ag, so one can't use anc at present...