Ah yes, that's a very simple example where it fails. Can we confirm with @CBaquero?