simp-heap

Synopsis: simp-heap;

Description:

This macro performs simplification of Heap and LocSet terms. It applies simplification rules (including the "unoptimized" select rules), One Step Simplification, alpha, and delta rules.

Arguments:

No arguments required