added finiteness to sum, product, and delta preconditions