ap.terfor
Return true if this formula is obviously always false
true
Return true if this formula is obviously always true