Smart groups not cooperating properly with ACLs. (Groups are fine)

Hello,

ACLs will not give designated groups the ability to view/edit other smartgroups. There are no problems when the intended viewables are in group rather than a smartgroup; the contacts show up as intented in this situation.
I understand this problem has come up before, and have copied something from a forum which details it in simple terms:

Creation of a smart group (called "Group A"), by means of an advanced search
Creation of a regular group (called "Group B"), which will contain those people who can access group "Group A"
Creation of a Drupal role (called "Role C") and selection of desired administration rights
Assignation of Drupal role "Role C" to the user associated to the contact (called "Contact D"). Addition of "Contact D" to CiviCRM "Group B".
Creation of an ACL role (called "Role E") in CiviCRM
Assignation of ACL role "Role E" to group "Group B"
Creation of the ACL (called "ACL F") which is assigned to role "Role E", authorized to "View" a "group of contacts", as the data type. The viewable group is "Group A".
When I connect as user "Contact D", no contacts are viewable. However, if I replace the smart group "Group A" by any regular group in the ACL section, contacts become viewable.

When using the search function, those in the regular group "Group B" have their dropdown criteria limited, as expected, to the smartgroup, though no contacts show up.

Thanks for any assistance you can lend.