Module adapted as part of my master thesis: Symbolic Execution of Higher-order Functions in Big Data System. Presented to Prof. Guido Salvaneschi of the Technische Universität Darmstadt. The module should be used in conjunction with jpf-symspark found here https://github.com/omrsin/jpf-symspark