tried test/foldability.marbles and fixed some problems but it is not working yet