behaviour becomes a concept. procedure become an implementation of that concept
check input and output requirements as part of integrity verification
cleanup
remove implicit behaviour
cleanup
register implicit behaviour in a subsequent step after reification. provide default preconditions on value expressions where it makes sense.