Concolic testing for functional languages