Arithmetic program paths
Mining specifications