Removed from assumptions/ all the extra functions, returning just True/False (issue 2152)

It's just a rebase of PR #1939.