conventions and correspondences only appear if the operation is not local
minor fix
no need for formal to actual for facility parameters after applying facility dec rule