Fixed an issue where recursion in insta_to_sexpr was not happening.