This package contains all logical extensions for ASM rules. It corresponds to the package {@link de.uka.ilkd.key.logic}.