C++: pragma[nomagic] on bbStrictlyPostDominates

This predicate was recently added and is likely to get the same problems
as `bbStrictlyDominates` with magic.

Author: jbj

cpp/ql/src/semmle/code/cpp/controlflow/Dominance.qll

@@ -135,6 +135,7 @@ predicate bbStrictlyDominates(BasicBlock dominator, BasicBlock node) {
  * Holds if `postDominator` is a strict post-dominator of `node` in the control-flow
  * graph of basic blocks. Being strict means that `postDominator != node`.
  */
+pragma[nomagic] // magic prevents fastTC
 predicate bbStrictlyPostDominates(BasicBlock postDominator, BasicBlock node) {
   bbIPostDominates+(postDominator, node)
 }