(released == []) -> sum e : #x:makreel:interface-name modeling. #.name internal (e) . #.name end . semantics_provides_blocked(rtc=no_port)