This package contains classes to perform partial evaluation (also known as abstract evaluation, symbolic execution).