disable some code due to change ceylon/ceylon-spec#1092
@chochos, please fix this