fixed command desugaring origin tracking, added md-file containing all possible multiplicity violations