WyC: Finally, a large number of tests are being pretty printed, compiled and are generating the right output. #174