Add missing (error) case in isIrrefutablePat