The interpreter does not offer tock transitions for models containing wait

[lausdahl]

If a model contains:

Wait x 

then the interpreter should disable tock filtering. However, this is not happening.