Finished pattern integration.
Now you can add '& "Pattern goes here"' to LTL or CTL spec.