bug will be permanently deleted from pykat. This cannot be undone.
Feature will be permanently deleted from pykat. This cannot be undone.
