Towards Automatic Test Suite Generation for Functional Programming Assignments using Budgeted Compositional Symbolic