Ideas for fixing recursivity in AND branch