Removed extra file
Pulling the changes from rep.

Merge branch 'binrel_merge_fn' of https://github.com/WaliDev/WALi-OpenNWA into binrel_merge_fn
Revert "Implemented correct semantics of schoose."

This reverts commit 7ea86abe3052e576582eb5fd7f5998972df9e1cc.
Accidentally did revert rather than checkout.

Revert "Revert "Implemented correct semantics of schoose.""

This reverts commit c1d12faf3cd7c05e714e915e198fe118d4bb9150.
Fixed implementation of schoose