add clause to pt for parameterized modules