Check proposition argument of ask() for junk input (issue 3906)
Merge pull request #2213 from skirpichev/3906-ask-check

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