It works but it's not exactly pretty. ISE 13.1 tends to segfault after execution on my machine so there are ";true" in the rules.