transform.py: function label marking only on non-terminals