Implements the semantics of a snapshot space language. The semantics of ASSL are implemented using a depth first strategy. This package is strictly seperated from the assl.statics package. If another strategy is necessary, the assl.statics package can be reused.