fix of cast array to bigger array
Interpreter: fixed SCase to include default