#.name internal(#x:makreel:interface-name inevitable) . sum a : #x:makreel:interface-name actions. #.name qin (#x:makreel:interface-name action (a)) . semantics_provides_blocked()