[PATCH 5/6] libport: Add support for singleton decomposition.