Null pointer exception in lambdas using unbound variables.

[ghost]

The following theory file Foo.thy throws a null pointer exception when processed:

theory \Foo extends \root

val f = _ => x