The best example I read from WLC concerning Molinism and explaining counter-factuals (as I understood it, I’ll state first off I’m no philosopher, at all, my background is history and archaeology, and grasp things best through that prism, and have only layman’s understand in scientific matters) was his use of the Christmas Carol by Charles Dickens as an example. In this he referred to the possible future Scrooge sees with the Ghost of Christmas Future, and sees what his life would be (or not be more to the point) if he did not change his ways, but in the story he does and that future does not come to pass. However it would have come to pass had Scrooge not repented, and the choices both he (and everyone else in that future) were true, and were their free choices which they made and would have made had Scrooge not seen it and repented. And from what I grasped, this is something of how WLC means by counter-factual and God’s knowledge of all the choices we could make in any logical possible situation, of course whether people find that plausible I don’'t know, I personally don’t have a real problem with it, but then I a big Sci-Fi and fantasy fan which is full of parallel worlds, possible futures, alternate dimensions and other realities so I might be blind to more obvious contradictions (like I said, philosophy isn’t my strong suit).
As to the block universe, I think more we or our perception of time is travelling through it, and we do make all our choices from that travelling perspective, they are all true choices and relations and complex multiple interactions, but to God in this view every moment and choice is now and is part of an interactive great whole. All our choices and reactions are now as it were, but to us who travel within it, it is made moment by moment, frame by frame, I think CS Lewis tried to explain something this way, that made sense to me in that it could possibly be this way, but I am uncommitted either way. I also wonder if the uncertain nature in quantum physics, where quarks I think (I could be wrong here) have non-locality until they are observed might better fit into some form Open-Theism or Monilism or such hmmm.
Anyway, those are my amateur observations.
(also on the subject of demons, Robin Parry has done a book recently looking into it, and different views on what it might be, which he did an interview here for those interested: randalrauser.com/2013/12/robin-parry-on-demons/ )