Bug in ask

With the new assumptions, AppliedPredicate now may be applied to expr, not only to symbols, so _extract_facts needs to look inside.