Apologies, I may be speaking out of my $(# on that. I'm aware Clifford has used it to demonstrate formal method techniques, but I don't know the full extend to it. Caveat Emptor to anyone who decided to rush out and add it to their SoC. ;)