Enforcing opacity of regular predicates on modal transition systems