Experiment in making a lotos verifier by Inez van Eyk