mu-mmint: Fix refinements for all mavo models (part 4)

 * Populate refinement rel
 * Fix smt encoding with empty may decision
 * Add direct menu to invoke refinement (temporary?)