added test to ensure different DSLs create the same dataset
minor updates in thesis