New assertion for a parse tree