Fix the loader running out of heap space

I had to eliminate the post-condition for the join-maps function, which
was causing the evaluation to be non-lazy.