Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs