Add helper functions to realization algorithm