*Larva 7: Quantified variable for user added since session id is not
unique for all users
*Larva 8: Bug fixed in guard