let
mkfree_statement v loc = mkStmt (
Instr
(mkfree v loc))