It may, but it still requires careful annotations. So you should hope that you have not made an error there and described the wrong structure for the code.