A new version of files previously in examples/mc-logic. Eventually examples/mc-logic will be deleted.