Check proposition argument of ask() for junk input (issue 3906)