TSelector input argument when not running proof

[Axel]

Duplicate post, see How to issue TSelector input argument when not running proof