some tests for isAssumptionFailed and replaced it in q where applicable