WyC: uncommented some test cases which now pass #352.