Add semantic checking of merge actions
Add check that var length rels are not used in updates