Returns true if the given pattern is “short”. A short pattern is defined by the following grammar:
true