Adde functions and methods from Restriction.py