Merge proposals dependent on lp:tapaal/dev

lp:tapaal/dev has no merge proposals.