Groundness and `trigger_props//2`, `trigger_props//4`

It seems that the second argument of the grammar rule `trigger_props//4` in `put_full/3` and `put_terminating//3` is never ground. Is it expected?

And it seems that `trigger_props//2` is never used?