HomeIsabelle/Phabricator

added missing +1 to T_insert (for function call)