Just do it! Who cares if a Structural Analysis tool is using Formal Verification