Protos model
This plug-in converts a Protos model into a Protos model where all implicit conditions have been made explicit (have been 'added').