Whatever() :- IDontExistPredicate()
## The rule below with throw due to uncommented string including special mathematical character /
Mitigation(AppName=fabric:/TestApp0) :- RestartCodePackage().