Added library to resolve behavior constraints.