Supplementary material for "Information-Flow Control for Database-backed Applications" Technical report Prototype