Changed the encoding of partial functions to improve the performance in
verifying lambda expressions