Test the situation where a requirement is satisfied by a non-formula but the `default_formula` is also installed.
Rather than just checking if a requirement's dependency is installed or not check if the requirement was actually satisfied by a particular formula rather than e.g. just having a `default_formula` defined.