Tests for bugs in ask.
Fix a bug in ask.
Merge pull request #1961 from placasse/extract_facts

A little bug in ask (part 2).
Implement rewrite as Piecewise for Abs, sign and Heaviside (issue 3478)
Cleanup _eval_rewrite_as_Heaviside() method for Abs