PetScan::extract_expr: extract out is_assume