Add statements for manipulating session properties