implementation of the formal semantic of SmartFrog language