LTS: silence deep recursion warnings, added todo to check later