The examples should now compile. Removed building powerset, which was consuming memory. Further improvements can be made