Fix LambdaToAlligator just guessing a variable if none is bound in an abstraction