Added assertion for BlockStatement