added constant-checking predictate