mCRL2 transformation website: Supported specifications list is incomplete

The list of restrictions is incomplete. At leas the following restrictions should be added:

• Input variables are not supported.
• User-defined functions are not supported.