Implements the conversion of State Variable Properties into explicit binary lists.