Testing to make sure call predicates are correctly calculated.