Obligations (B) in Constroid describe functional predicates which verify that a process has performed before operating or performs during the operation on an object. An example for a predicate is a list of API calls
a subject (process) has to full before transmitting a data
item to a server. An predicate could verify
that a process maintains an encrypted connection during its
execution to exchange particular data items.