Fix a bug where a non-instantiated argument in an `encoding/1` directive would not be detected