gettingMissingFlagsFails
Tests that, for flag names not present in a solver's default flags map (a, b, c), the query
?- current_flag(a, V).Content copied to clipboard
simply fails (no solution), rather than raising an error.